Searched refs:eop_begin (Results 1 – 2 of 2) sorted by relevance
353 eop_iterator eop_begin() { return EndNodes.begin(); } in eop_begin() function357 const_eop_iterator eop_begin() const { return EndNodes.begin(); } in eop_begin() function
276 for (ExplodedGraph::eop_iterator I = G->eop_begin(), in ExecuteWorkListWithInitialState()