Searched refs:findLockIter (Results 1 – 1 of 1) sorted by relevance
215 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter() function in __anon4f66b6dc0111::FactSet2030 FactSet::iterator Iter1 = FSet1.findLockIter(FactMan, *LDat2); in intersectAndWarn()