Searched refs:FactIDs (Results 1 – 1 of 1) sorted by relevance
183 FactVec FactIDs; member in __anon6254f0e10111::FactSet189 iterator begin() { return FactIDs.begin(); } in begin()192 iterator end() { return FactIDs.end(); } in end()193 const_iterator end() const { return FactIDs.end(); } in end()210 FactIDs.push_back(F); in addLock()215 unsigned n = FactIDs.size(); in removeLock()220 if (FM[FactIDs[i]].matches(CapE)) { in removeLock()221 FactIDs[i] = FactIDs[n-1]; in removeLock()222 FactIDs.pop_back(); in removeLock()226 if (FM[FactIDs[n-1]].matches(CapE)) { in removeLock()[all …]