Lines Matching defs:ID
188 void addLockByID(FactID ID) { FactIDs.push_back(ID); }
216 return std::find_if(begin(), end(), [&](FactID ID) {
217 return FM[ID].matches(CapE);
222 auto I = std::find_if(begin(), end(), [&](FactID ID) {
223 return FM[ID].matches(CapE);
229 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool {
230 return FM[ID].matchesUniv(CapE);
237 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool {
238 return FM[ID].partiallyMatches(CapE);
244 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool {
245 return FM[ID].valueDecl() == Vd;