Searched refs:Facts (Results 1 – 3 of 3) sorted by relevance
161 std::vector<std::unique_ptr<const FactEntry>> Facts; member in __anon6254f0e10111::FactManager165 Facts.push_back(std::move(Entry)); in newFact()166 return static_cast<unsigned short>(Facts.size() - 1); in newFact()169 const FactEntry &operator[](FactID F) const { return *Facts[F]; } in operator []()
354 [Operation Definition Specification](../../OpDefinitions.md) framework. Facts
6 maintain records of domain-specific information. Facts regarding an operation