Searched refs:FactEntry (Results 1 – 1 of 1) sorted by relevance
773 struct FactEntry { struct777 FactEntry(const SExpr& M, const LockData& L) in FactEntry() function789 std::vector<FactEntry> Facts;793 Facts.push_back(FactEntry(M,L)); in newLock()797 const FactEntry& operator[](FactID F) const { return Facts[F]; } in operator []()798 FactEntry& operator[](FactID F) { return Facts[F]; } in operator []()875 FactEntry *findPartialMatch(FactManager &FM, const SExpr &M) const { in findPartialMatch()1860 FactEntry* FEntry = FSet.findPartialMatch(Analyzer->FactMan, Mutex); in warnIfMutexNotHeld()