Searched refs:eop_iterator (Results 1 – 2 of 2) sorted by relevance
331 typedef NodeVector::iterator eop_iterator; typedef352 eop_iterator eop_begin() { return EndNodes.begin(); } in eop_begin()354 eop_iterator eop_end() { return EndNodes.end(); } in eop_end()
276 for (ExplodedGraph::eop_iterator I = G->eop_begin(), in ExecuteWorkListWithInitialState()