Searched refs:eop_end (Results 1 – 2 of 2) sorted by relevance
416 eop_iterator eop_end() { return EndNodes.end(); } in eop_end() function420 const_eop_iterator eop_end() const { return EndNodes.end(); } in eop_end() function
230 for (ExplodedGraph::eop_iterator I = G.eop_begin(), E = G.eop_end(); I != E; in ExecuteWorkListWithInitialState()