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