Lines Matching defs:FM
842 FactID addLock(FactManager& FM, const SExpr& M, const LockData& L) {
843 FactID F = FM.newLock(M, L);
848 bool removeLock(FactManager& FM, const SExpr& M) {
854 if (FM[FactIDs[i]].MutID.matches(M)) {
860 if (FM[FactIDs[n-1]].MutID.matches(M)) {
867 LockData* findLock(FactManager &FM, const SExpr &M) const {
869 const SExpr &Exp = FM[*I].MutID;
871 return &FM[*I].LDat;
876 LockData* findLockUniv(FactManager &FM, const SExpr &M) const {
878 const SExpr &Exp = FM[*I].MutID;
880 return &FM[*I].LDat;
885 FactEntry* findPartialMatch(FactManager &FM, const SExpr &M) const {
887 const SExpr& Exp = FM[*I].MutID;
888 if (Exp.partiallyMatches(M)) return &FM[*I];