Searched refs:FactManager (Results 1 – 1 of 1) sorted by relevance
787 class FactManager { class827 FactID addLock(FactManager& FM, const SExpr& M, const LockData& L) { in addLock()833 bool removeLock(FactManager& FM, const SExpr& M) { in removeLock()852 iterator findLockIter(FactManager &FM, const SExpr &M) { in findLockIter()858 LockData *findLock(FactManager &FM, const SExpr &M) const { in findLock()866 LockData *findLockUniv(FactManager &FM, const SExpr &M) const { in findLockUniv()875 FactEntry *findPartialMatch(FactManager &FM, const SExpr &M) const { in findPartialMatch()1413 FactManager FactMan;