Searched refs:FactManager (Results 1 – 1 of 1) sorted by relevance
86 class FactManager;120 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,123 virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,139 class FactManager { class180 bool isEmpty(FactManager &FactMan) const { in isEmpty()190 FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) { in addLock()196 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock()215 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter()221 FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const { in findLock()228 FactEntry *findLockUniv(FactManager &FM, const CapabilityExpr &CapE) const { in findLockUniv()[all …]