208   FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) {  in addLock()  argument
209     FactID F = FM.newFact(std::move(Entry));  in addLock()
214   bool removeLock(FactManager& FM, const CapabilityExpr &CapE) {  in removeLock()  argument
220       if (FM[FactIDs[i]].matches(CapE)) {  in removeLock()
226     if (FM[FactIDs[n-1]].matches(CapE)) {  in removeLock()
233   iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) {  in findLockIter()  argument
235       return FM[ID].matches(CapE);  in findLockIter()
239   const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const {  in findLock()  argument
241       return FM[ID].matches(CapE);  in findLock()
243     return I != end() ? &FM[*I] : nullptr;  in findLock()
246   const FactEntry *findLockUniv(FactManager &FM,  in findLockUniv()  argument
249       return FM[ID].matchesUniv(CapE);  in findLockUniv()
251     return I != end() ? &FM[*I] : nullptr;  in findLockUniv()
254   const FactEntry *findPartialMatch(FactManager &FM,  in findPartialMatch()  argument
257       return FM[ID].partiallyMatches(CapE);  in findPartialMatch()
259     return I != end() ? &FM[*I] : nullptr;  in findPartialMatch()
262   bool containsMutexDecl(FactManager &FM, const ValueDecl* Vd) const {  in containsMutexDecl()  argument
264       return FM[ID].valueDecl() == Vd;  in containsMutexDecl()