Lines Matching refs:FactManager
86 class FactManager;
120 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
123 virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
139 class FactManager { class
180 bool isEmpty(FactManager &FactMan) const { in isEmpty()
190 FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) { in addLock()
196 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock()
215 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter()
221 FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const { in findLock()
228 FactEntry *findLockUniv(FactManager &FM, const CapabilityExpr &CapE) const { in findLockUniv()
235 FactEntry *findPartialMatch(FactManager &FM, in findPartialMatch()
243 bool containsMutexDecl(FactManager &FM, const ValueDecl* Vd) const { in containsMutexDecl()
823 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, in handleRemovalFromIntersection()
832 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock()
859 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, in handleRemovalFromIntersection()
872 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock()
917 FactManager FactMan;