809 class FactSet {  class
898   FactSet EntrySet;             // Lockset held at entry to block
899   FactSet ExitSet;              // Lockset held at exit from block
907   const FactSet &getSet(CFGBlockSide Side) const {  in getSet()
1419   void addLock(FactSet &FSet, const SExpr &Mutex, const LockData &LDat,
1421   void removeLock(FactSet &FSet, const SExpr &Mutex, SourceLocation UnlockLoc,
1437   void getEdgeLockset(FactSet &Result, const FactSet &ExitSet,
1441   void intersectAndWarn(FactSet &FSet1, const FactSet &FSet2,
1446   void intersectAndWarn(FactSet &FSet1, const FactSet &FSet2,  in intersectAndWarn()
1536 void ThreadSafetyAnalyzer::addLock(FactSet &FSet, const SExpr &Mutex,  in addLock()
1555 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const SExpr &Mutex,  in removeLock()
1737 void ThreadSafetyAnalyzer::getEdgeLockset(FactSet& Result,  in getEdgeLockset()
1738                                           const FactSet &ExitSet,  in getEdgeLockset()
1806   FactSet FSet;
2247 void ThreadSafetyAnalyzer::intersectAndWarn(FactSet &FSet1,  in intersectAndWarn()
2248                                             const FactSet &FSet2,  in intersectAndWarn()
2253   FactSet FSet1Orig = FSet1;  in intersectAndWarn()
2259     FactSet::iterator I1 = FSet1.findLockIter(FactMan, FSet2Mutex);  in intersectAndWarn()
2391     FactSet &InitialLockset = BlockInfo[FirstBlock->getBlockID()].EntrySet;  in runAnalysis()
2489       FactSet PrevLockset;  in runAnalysis()
2524         FactSet PrevLockset;  in runAnalysis()
2598   FactSet ExpectedExitSet = Initial->EntrySet;  in runAnalysis()