Searched refs:TheoryAtomDefs (Results 1 – 4 of 4) sorted by relevance
138 using TheoryAtomDefs = UniqueVec<TheoryAtomDef, HashKey<TheoryAtomDef::Key, TheoryAtomDef::GetKey, … typedef157 TheoryAtomDefs const &atomDefs() const;163 TheoryAtomDefs atomDefs_;
413 using TheoryAtomDefs = Indexed<TheoryAtomDef, TheoryAtomDefUid>; typedef in Gringo::Input::NongroundProgramBuilder442 TheoryAtomDefs theoryAtomDefs_;
268 TheoryAtomDefs const &TheoryDef::atomDefs() const { in atomDefs()
221 using TheoryAtomDefs = Indexed<std::string, TheoryAtomDefUid>; typedef in Gringo::Input::Test::__anond2a2937f0111::TestNongroundProgramBuilder262 TheoryAtomDefs theoryAtomDefs_;