reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
187 iterator begin() { return FactIDs.begin(); } 188 const_iterator begin() const { return FactIDs.begin(); } 190 iterator end() { return FactIDs.end(); } 191 const_iterator end() const { return FactIDs.end(); } 193 bool isEmpty() const { return FactIDs.size() == 0; } 204 void addLockByID(FactID ID) { FactIDs.push_back(ID); } 208 FactIDs.push_back(F); 213 unsigned n = FactIDs.size(); 218 if (FM[FactIDs[i]].matches(CapE)) { 219 FactIDs[i] = FactIDs[n-1]; 219 FactIDs[i] = FactIDs[n-1]; 220 FactIDs.pop_back(); 224 if (FM[FactIDs[n-1]].matches(CapE)) { 225 FactIDs.pop_back();