182   FactVec FactIDs;  member in __anonef2eab400111::FactSet
188   iterator begin() { return FactIDs.begin(); }  in begin()
189   const_iterator begin() const { return FactIDs.begin(); }  in begin()
191   iterator end() { return FactIDs.end(); }  in end()
192   const_iterator end() const { return FactIDs.end(); }  in end()
194   bool isEmpty() const { return FactIDs.size() == 0; }  in isEmpty()
205   void addLockByID(FactID ID) { FactIDs.push_back(ID); }  in addLockByID()
209     FactIDs.push_back(F);  in addLock()
214     unsigned n = FactIDs.size();  in removeLock()
219       if (FM[FactIDs[i]].matches(CapE)) {  in removeLock()
220         FactIDs[i] = FactIDs[n-1];  in removeLock()
221         FactIDs.pop_back();  in removeLock()
225     if (FM[FactIDs[n-1]].matches(CapE)) {  in removeLock()
226       FactIDs.pop_back();  in removeLock()