Searched refs:Facts (Results 1 – 1 of 1) sorted by relevance
141 std::vector<std::unique_ptr<FactEntry>> Facts; member in __anond54a86130111::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 []()