Searched refs:FactIDs (Results 1 – 1 of 1) sorted by relevance
186 FactVec FactIDs; member in __anon68dfda3c0111::FactSet192 iterator begin() { return FactIDs.begin(); } in begin()193 const_iterator begin() const { return FactIDs.begin(); } in begin()195 iterator end() { return FactIDs.end(); } in end()196 const_iterator end() const { return FactIDs.end(); } in end()198 bool isEmpty() const { return FactIDs.size() == 0; } in isEmpty()209 void addLockByID(FactID ID) { FactIDs.push_back(ID); } in addLockByID()213 FactIDs.push_back(F); in addLock()218 unsigned n = FactIDs.size(); in removeLock()223 if (FM[FactIDs[i]].matches(CapE)) { in removeLock()[all …]