Searched refs:FactEntry (Results 1 – 1 of 1) sorted by relevance
97 class FactEntry : public CapabilityExpr { class122 FactEntry(FactEntryKind FK, const CapabilityExpr &CE, LockKind LK, in FactEntry() function in __anon06d2d5b10111::FactEntry125 virtual ~FactEntry() = default;140 const FactEntry &entry,159 std::vector<std::unique_ptr<const FactEntry>> Facts;162 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()234 std::unique_ptr<FactEntry> Entry) { in replaceLock()243 std::unique_ptr<FactEntry> Entry) { in replaceLock()[all …]