Searched defs:getPredecessor (Results 1 – 2 of 2) sorted by relevance
70 ExplodedNode *getPredecessor() { return Pred; } in getPredecessor() function
580 NodeId getPredecessor() const { in getPredecessor() function