Searched refs:FactID (Results 1 – 1 of 1) sorted by relevance
153 using FactID = unsigned short; typedef162 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()164 assert(Facts.size() - 1 <= std::numeric_limits<FactID>::max() && in newFact()169 const FactEntry &operator[](FactID F) const { return *Facts[F]; } in operator []()181 using FactVec = SmallVector<FactID, 4>;206 void addLockByID(FactID ID) { FactIDs.push_back(ID); } in addLockByID()208 FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) { in addLock()209 FactID F = FM.newFact(std::move(Entry)); in addLock()233 std::optional<FactID> replaceLock(FactManager &FM, iterator It, in replaceLock()237 FactID F = FM.newFact(std::move(Entry)); in replaceLock()[all …]