Searched defs:getFirstSucc (Results 1 – 1 of 1) sorted by relevance
216 ExplodedNode *getFirstSucc() { in getFirstSucc() function220 const ExplodedNode *getFirstSucc() const { in getFirstSucc() function