Searched defs:takeNodes (Results 1 – 2 of 2) sorted by relevance
333 void takeNodes(const ExplodedNodeSet &S) { takeNodes() function 338 void takeNodes(ExplodedNode *N) { Frontier.erase(N); } takeNodes() function
579 void takeNodes(IntrusiveBackList<T> &Other) { in takeNodes() function