99 class FactManager;
137   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
140   virtual void handleLock(FactSet &FSet, FactManager &FactMan,
143   virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
158 class FactManager {  class
197   bool isEmpty(FactManager &FactMan) const {  in isEmpty()
207   FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) {  in addLock()
213   bool removeLock(FactManager& FM, const CapabilityExpr &CapE) {  in removeLock()
232   iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) {  in findLockIter()
238   const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const {  in findLock()
245   const FactEntry *findLockUniv(FactManager &FM,  in findLockUniv()
253   const FactEntry *findPartialMatch(FactManager &FM,  in findPartialMatch()
261   bool containsMutexDecl(FactManager &FM, const ValueDecl* Vd) const {  in containsMutexDecl()
865   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,  in handleRemovalFromIntersection()
874   void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry,  in handleLock()
880   void handleUnlock(FactSet &FSet, FactManager &FactMan,  in handleUnlock()
926   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,  in handleRemovalFromIntersection()
943   void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry,  in handleLock()
957   void handleUnlock(FactSet &FSet, FactManager &FactMan,  in handleUnlock()
982   void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in lock()
994   void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in unlock()
1019   FactManager FactMan;