87 class FactSet;
120   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
123   virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
161 class FactSet {  class
282                         const FactSet& FSet,
304   FactSet EntrySet;             // Lockset held at entry to block
305   FactSet ExitSet;              // Lockset held at exit from block
313   const FactSet &getSet(CFGBlockSide Side) const {  in getSet()
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()
928   void addLock(FactSet &FSet, std::unique_ptr<FactEntry> Entry,
930   void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
947   void getEdgeLockset(FactSet &Result, const FactSet &ExitSet,
951   void intersectAndWarn(FactSet &FSet1, const FactSet &FSet2,
956   void intersectAndWarn(FactSet &FSet1, const FactSet &FSet2,  in intersectAndWarn()
1036                                  const FactSet& FSet,  in checkBeforeAfter()
1183 void ThreadSafetyAnalyzer::addLock(FactSet &FSet,  in addLock()
1222 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp,  in removeLock()
1390 void ThreadSafetyAnalyzer::getEdgeLockset(FactSet& Result,  in getEdgeLockset()
1391                                           const FactSet &ExitSet,  in getEdgeLockset()
1463   FactSet FSet;
2018 void ThreadSafetyAnalyzer::intersectAndWarn(FactSet &FSet1,  in intersectAndWarn()
2019                                             const FactSet &FSet2,  in intersectAndWarn()
2024   FactSet FSet1Orig = FSet1;  in intersectAndWarn()
2030     FactSet::iterator Iter1  = FSet1.findLockIter(FactMan, *LDat2);  in intersectAndWarn()
2144     FactSet &InitialLockset = BlockInfo[FirstBlock->getBlockID()].EntrySet;  in runAnalysis()
2245       FactSet PrevLockset;  in runAnalysis()
2280         FactSet PrevLockset;  in runAnalysis()
2354   FactSet ExpectedExitSet = Initial->EntrySet;  in runAnalysis()