reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
187 iterator begin() { return FactIDs.begin(); } 190 iterator end() { return FactIDs.end(); }