Searched refs:FactIDs (Results 1 – 1 of 1) sorted by relevance
183 FactVec FactIDs; member in __anon721e4a080111::FactSet189 iterator begin() { return FactIDs.begin(); } in begin()190 const_iterator begin() const { return FactIDs.begin(); } in begin()192 iterator end() { return FactIDs.end(); } in end()193 const_iterator end() const { return FactIDs.end(); } in end()195 bool isEmpty() const { return FactIDs.size() == 0; } in isEmpty()206 void addLockByID(FactID ID) { FactIDs.push_back(ID); } in addLockByID()210 FactIDs.push_back(F); in addLock()215 unsigned n = FactIDs.size(); in removeLock()220 if (FM[FactIDs[i]].matches(CapE)) { in removeLock()[all …]