Searched refs:Frontier (Results 1 – 2 of 2) sorted by relevance
221 ExplodedNodeSet &Frontier; variable231 for (iterator I = Frontier.begin(), E = Frontier.end(); I != E; ++I) { in hasNoSinksInFrontier()249 : C(Ctx), Finalized(F), HasGeneratedNodes(false), Frontier(DstSet) { in C()250 Frontier.Add(SrcNode); in C()255 : C(Ctx), Finalized(F), HasGeneratedNodes(false), Frontier(DstSet) { in C()256 Frontier.insert(SrcSet); in C()283 return Frontier; in getResults()291 return Frontier.begin(); in begin()295 return Frontier.end(); in end()303 Frontier.erase(*I); in takeNodes()[all …]
593 Frontier.erase(FromN); in generateNodeImpl()599 Frontier.Add(N); in generateNodeImpl()608 for (ExplodedNodeSet::iterator I = Frontier.begin(), in ~StmtNodeBuilder()609 E = Frontier.end(); I != E; ++I ) in ~StmtNodeBuilder()