Searched refs:ExhaustedIterator (Results 1 – 2 of 2) sorted by relevance
100 typedef CoreEngine::BlocksExhausted::const_iterator ExhaustedIterator; in checkEndAnalysis() typedef102 for (ExhaustedIterator I = CE.blocks_exhausted_begin(), in checkEndAnalysis()
536 typedef CoreEngine::BlocksExhausted::const_iterator ExhaustedIterator; in pathWasCompletelyAnalyzed() typedef537 for (ExhaustedIterator I = CE.blocks_exhausted_begin(), in pathWasCompletelyAnalyzed()