reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
163 Facts.push_back(std::move(Entry)); 164 return static_cast<unsigned short>(Facts.size() - 1); 167 const FactEntry &operator[](FactID F) const { return *Facts[F]; }