Searched refs:FactIDs (Results 1 – 1 of 1) sorted by relevance
165 FactVec FactIDs; member in __anon4f66b6dc0111::FactSet171 iterator begin() { return FactIDs.begin(); } in begin()172 const_iterator begin() const { return FactIDs.begin(); } in begin()174 iterator end() { return FactIDs.end(); } in end()175 const_iterator end() const { return FactIDs.end(); } in end()177 bool isEmpty() const { return FactIDs.size() == 0; } in isEmpty()188 void addLockByID(FactID ID) { FactIDs.push_back(ID); } in addLockByID()192 FactIDs.push_back(F); in addLock()197 unsigned n = FactIDs.size(); in removeLock()202 if (FM[FactIDs[i]].matches(CapE)) { in removeLock()[all …]