Searched refs:replaceNode (Results 1 – 2 of 2) sorted by relevance
114 void replaceNode(ExplodedNode *node);257 void replaceSuccessor(ExplodedNode *node) { Succs.replaceNode(node); } in replaceSuccessor()258 void replacePredecessor(ExplodedNode *node) { Preds.replaceNode(node); } in replacePredecessor()
212 void ExplodedNode::NodeGroup::replaceNode(ExplodedNode *node) { in replaceNode() function in ExplodedNode::NodeGroup