96 class FactSet;
138   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
141   virtual void handleLock(FactSet &FSet, FactManager &FactMan,
144   virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
179 class FactSet {  class
303                         const FactSet& FSet,
329   FactSet EntrySet;
332   FactSet ExitSet;
352   const FactSet &getSet(CFGBlockSide Side) const {  in getSet()
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()
1025   void addLock(FactSet &FSet, std::unique_ptr<FactEntry> Entry,
1027   void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1043   void getEdgeLockset(FactSet &Result, const FactSet &ExitSet,
1049   void intersectAndWarn(FactSet &EntrySet, const FactSet &ExitSet,
1053   void intersectAndWarn(FactSet &EntrySet, const FactSet &ExitSet,  in intersectAndWarn()
1133                                  const FactSet& FSet,  in checkBeforeAfter()
1245 void ThreadSafetyAnalyzer::addLock(FactSet &FSet,  in addLock()
1283 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp,  in removeLock()
1457 void ThreadSafetyAnalyzer::getEdgeLockset(FactSet& Result,  in getEdgeLockset()
1458                                           const FactSet &ExitSet,  in getEdgeLockset()
1531   FactSet FSet;
2174 void ThreadSafetyAnalyzer::intersectAndWarn(FactSet &EntrySet,  in intersectAndWarn()
2175                                             const FactSet &ExitSet,  in intersectAndWarn()
2179   FactSet EntrySetOrig = EntrySet;  in intersectAndWarn()
2185     FactSet::iterator EntryIt = EntrySet.findLockIter(FactMan, ExitFact);  in intersectAndWarn()
2287     FactSet &InitialLockset = BlockInfo[FirstBlock->getBlockID()].EntrySet;  in runAnalysis()
2374       FactSet PrevLockset;  in runAnalysis()
2467   FactSet ExpectedExitSet = Initial->EntrySet;  in runAnalysis()