Searched defs:takeNodes (Results 1 – 1 of 1) sorted by relevance
303 void takeNodes(const ExplodedNodeSet &S) { in takeNodes() function307 void takeNodes(ExplodedNode *N) { Frontier.erase(N); } in takeNodes() function