165   FactVec FactIDs;  member in __anon4f66b6dc0111::FactSet
171   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()
203         FactIDs[i] = FactIDs[n-1];  in removeLock()
204         FactIDs.pop_back();  in removeLock()
208     if (FM[FactIDs[n-1]].matches(CapE)) {  in removeLock()
209       FactIDs.pop_back();  in removeLock()