Searched defs:TheoryData (Results 1 – 9 of 9) sorted by relevance
34 class TheoryData; variable
59 class TheoryData : private Potassco::TheoryData::Visitor { class
33 class TheoryData; variable
270 Potassco::Id_t RawTheoryTerm::eval(TheoryData &, Logger &) const { in eval() argument545 TheoryData::TheoryData(Potassco::TheoryData &data) in TheoryData() function in Gringo::Output::TheoryData
198 TheoryData::TheoryData() : data_(new Data()) {} in TheoryData() function in Potassco::TheoryData