Searched refs:Facts (Results 1 – 2 of 2) sorted by relevance
141 std::vector<std::unique_ptr<FactEntry>> Facts; member in __anon4f66b6dc0111::FactManager145 Facts.push_back(std::move(Entry)); in newFact()146 return static_cast<unsigned short>(Facts.size() - 1); in newFact()149 const FactEntry &operator[](FactID F) const { return *Facts[F]; } in operator []()150 FactEntry &operator[](FactID F) { return *Facts[F]; } in operator []()
2177 # Basic Facts: The New Territory