99 class FactSet;
136   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
139   virtual void handleLock(FactSet &FSet, FactManager &FactMan,
142   virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
177 class FactSet {  class
301                         const FactSet& FSet,
327   FactSet EntrySet;
330   FactSet ExitSet;
350   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()
921   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,  in handleRemovalFromIntersection()
938   void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry,  in handleLock()
952   void handleUnlock(FactSet &FSet, FactManager &FactMan,  in handleUnlock()
977   void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in lock()
990   void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in unlock()
1029   void addLock(FactSet &FSet, std::unique_ptr<FactEntry> Entry,
1031   void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1048   void getEdgeLockset(FactSet &Result, const FactSet &ExitSet,
1052   void intersectAndWarn(FactSet &FSet1, const FactSet &FSet2,
1057   void intersectAndWarn(FactSet &FSet1, const FactSet &FSet2,  in intersectAndWarn()
1138                                  const FactSet& FSet,  in checkBeforeAfter()
1281 void ThreadSafetyAnalyzer::addLock(FactSet &FSet,  in addLock()
1319 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp,  in removeLock()
1494 void ThreadSafetyAnalyzer::getEdgeLockset(FactSet& Result,  in getEdgeLockset()
1495                                           const FactSet &ExitSet,  in getEdgeLockset()
1574   FactSet FSet;
2189 void ThreadSafetyAnalyzer::intersectAndWarn(FactSet &FSet1,  in intersectAndWarn()
2190                                             const FactSet &FSet2,  in intersectAndWarn()
2195   FactSet FSet1Orig = FSet1;  in intersectAndWarn()
2201     FactSet::iterator Iter1  = FSet1.findLockIter(FactMan, *LDat2);  in intersectAndWarn()
2313     FactSet &InitialLockset = BlockInfo[FirstBlock->getBlockID()].EntrySet;  in runAnalysis()
2416       FactSet PrevLockset;  in runAnalysis()
2451         FactSet PrevLockset;  in runAnalysis()
2523   FactSet ExpectedExitSet = Initial->EntrySet;  in runAnalysis()