Searched defs:replacePredecessor (Results 1 – 2 of 2) sorted by relevance
241 void replacePredecessor(ExplodedNode *node) { Preds.replaceNode(node); } in replacePredecessor() function
298 void replacePredecessor(ExplodedNode *node) { Preds.replaceNode(node); } in replacePredecessor() function