Searched defs:addNodes (Results 1 – 1 of 1) sorted by relevance
339 void addNodes(const ExplodedNodeSet &S) { Frontier.insert(S); } addNodes() function 340 void addNodes(ExplodedNode *N) { Frontier.Add(N); } addNodes() function