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