Searched refs:EntryIt (Results 1 – 1 of 1) sorted by relevance
2383 FactSet::iterator EntryIt = EntrySet.findLockIter(FactMan, ExitFact); in intersectAndWarn() local2384 if (EntryIt != EntrySet.end()) { in intersectAndWarn()2385 if (join(FactMan[*EntryIt], ExitFact, JoinLoc, EntryLEK)) in intersectAndWarn()2386 *EntryIt = Fact; in intersectAndWarn()