98 class FactManager;
141   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
144   virtual void handleLock(FactSet &FSet, FactManager &FactMan,
147   virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
162 class FactManager {  class
201   bool isEmpty(FactManager &FactMan) const {  in isEmpty()
211   FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) {  in addLock()
217   bool removeLock(FactManager& FM, const CapabilityExpr &CapE) {  in removeLock()
236   iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) {  in findLockIter()
242   const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const {  in findLock()
249   const FactEntry *findLockUniv(FactManager &FM,  in findLockUniv()
257   const FactEntry *findPartialMatch(FactManager &FM,  in findPartialMatch()
265   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()
922   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,  in handleRemovalFromIntersection()
939   void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry,  in handleLock()
953   void handleUnlock(FactSet &FSet, FactManager &FactMan,  in handleUnlock()
978   void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in lock()
991   void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in unlock()
1019   FactManager FactMan;