95 class FactManager;
138   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
141   virtual void handleLock(FactSet &FSet, FactManager &FactMan,
144   virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
159 class FactManager {  class
198   bool isEmpty(FactManager &FactMan) const {  in isEmpty()
208   FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) {  in addLock()
214   bool removeLock(FactManager& FM, const CapabilityExpr &CapE) {  in removeLock()
233   iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) {  in findLockIter()
239   const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const {  in findLock()
246   const FactEntry *findLockUniv(FactManager &FM,  in findLockUniv()
254   const FactEntry *findPartialMatch(FactManager &FM,  in findPartialMatch()
262   bool containsMutexDecl(FactManager &FM, const ValueDecl* Vd) const {  in containsMutexDecl()
864   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,  in handleRemovalFromIntersection()
873   void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry,  in handleLock()
879   void handleUnlock(FactSet &FSet, FactManager &FactMan,  in handleUnlock()
923   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,  in handleRemovalFromIntersection()
939   void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry,  in handleLock()
950   void handleUnlock(FactSet &FSet, FactManager &FactMan,  in handleUnlock()
973   void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in lock()
987   void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in unlock()
1014   FactManager FactMan;