reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
188 const_iterator begin() const { return FactIDs.begin(); } 191 const_iterator end() const { return FactIDs.end(); }