Searched refs:FactID (Results 1 – 1 of 1) sorted by relevance
154 using FactID = unsigned short; typedef163 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()168 const FactEntry &operator[](FactID F) const { return *Facts[F]; } in operator []()180 using FactVec = SmallVector<FactID, 4>;205 void addLockByID(FactID ID) { FactIDs.push_back(ID); } in addLockByID()208 FactID F = FM.newFact(std::move(Entry)); in addLock()233 return std::find_if(begin(), end(), [&](FactID ID) { in findLockIter()239 auto I = std::find_if(begin(), end(), [&](FactID ID) { in findLock()247 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findLockUniv()255 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findPartialMatch()[all …]