Searched refs:FactIDs (Results 1 – 1 of 1) sorted by relevance
186 FactVec FactIDs; member in __anon3cf8d6650111::FactSet192 iterator begin() { return FactIDs.begin(); } in begin()195 iterator end() { return FactIDs.end(); } in end()196 const_iterator end() const { return FactIDs.end(); } in end()213 FactIDs.push_back(F); in addLock()218 unsigned n = FactIDs.size(); in removeLock()223 if (FM[FactIDs[i]].matches(CapE)) { in removeLock()224 FactIDs[i] = FactIDs[n-1]; in removeLock()225 FactIDs.pop_back(); in removeLock()229 if (FM[FactIDs[n-1]].matches(CapE)) { in removeLock()[all …]