Searched defs:takeNodes (Results 1 – 4 of 4) sorted by relevance
329 void takeNodes(const ExplodedNodeSet &S) { in takeNodes() function334 void takeNodes(ExplodedNode *N) { Frontier.erase(N); } in takeNodes() function
301 void takeNodes(const ExplodedNodeSet &S) { in takeNodes() function305 void takeNodes(ExplodedNode *N) { Frontier.erase(N); } in takeNodes() function
553 void takeNodes(IntrusiveBackList<T> &Other) { in takeNodes() function