Searched refs:Frontier (Results 1 – 3 of 3) sorted by relevance
223 ExplodedNodeSet &Frontier; variable233 for (iterator I = Frontier.begin(), E = Frontier.end(); I != E; ++I) { in hasNoSinksInFrontier()251 : C(Ctx), Finalized(F), HasGeneratedNodes(false), Frontier(DstSet) { in C()252 Frontier.Add(SrcNode); in C()257 : C(Ctx), Finalized(F), HasGeneratedNodes(false), Frontier(DstSet) { in C()258 Frontier.insert(SrcSet); in C()285 return Frontier; in getResults()293 return Frontier.begin(); in begin()297 return Frontier.end(); in end()305 Frontier.erase(*I); in takeNodes()[all …]
8 0 string MAPZ) Map file for the Blood Frontier/Red Eclipse FPS games
611 Frontier.erase(FromN); in generateNodeImpl()617 Frontier.Add(N); in generateNodeImpl()626 for (ExplodedNodeSet::iterator I = Frontier.begin(), in ~StmtNodeBuilder()627 E = Frontier.end(); I != E; ++I ) in ~StmtNodeBuilder()