Lines Matching refs:FactID
135 typedef unsigned short FactID; typedef
144 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
149 const FactEntry &operator[](FactID F) const { return *Facts[F]; } in operator []()
150 FactEntry &operator[](FactID F) { return *Facts[F]; } in operator []()
163 typedef SmallVector<FactID, 4> FactVec;
181 for (FactID FID : *this) { in isEmpty()
188 void addLockByID(FactID ID) { FactIDs.push_back(ID); } in addLockByID()
190 FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) { in addLock()
191 FactID F = FM.newFact(std::move(Entry)); in addLock()
216 return std::find_if(begin(), end(), [&](FactID ID) { in findLockIter()
222 auto I = std::find_if(begin(), end(), [&](FactID ID) { in findLock()
229 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findLockUniv()
237 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findPartialMatch()
244 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in containsMutexDecl()