Searched refs:FactEntry (Results 1 – 1 of 1) sorted by relevance
104 class FactEntry : public CapabilityExpr { class125 FactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, in FactEntry() function in __anon721e4a080111::FactEntry128 virtual ~FactEntry() = default;142 const FactEntry &entry,161 std::vector<std::unique_ptr<const FactEntry>> Facts;164 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()169 const FactEntry &operator[](FactID F) const { return *Facts[F]; } in operator []()208 FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) { in addLock()239 const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const { in findLock()246 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv()[all …]