Searched defs:getFirstSucc (Results 1 – 5 of 5) sorted by relevance
217 ExplodedNode *getFirstSucc() { in getFirstSucc() function221 const ExplodedNode *getFirstSucc() const { in getFirstSucc() function
197 const ExplodedNode *getFirstSucc() const { in getFirstSucc() function