Searched refs:TheoryTermDef (Results 1 – 6 of 6) sorted by relevance
/dports/math/clingo/clingo-5.5.1/libgringo/gringo/ |
H A D | terms.hh | 81 class TheoryTermDef { class 83 TheoryTermDef(Location const &loc, String name); 84 TheoryTermDef(TheoryTermDef &&); 85 ~TheoryTermDef() noexcept; 86 TheoryTermDef &operator=(TheoryTermDef &&); 100 … TheoryTermDefs = UniqueVec<TheoryTermDef, HashKey<String, GetName<TheoryTermDef>>, EqualToKey<Str… 101 inline std::ostream &operator<<(std::ostream &out, TheoryTermDef const &def) { in operator <<() 154 void addTermDef(TheoryTermDef &&def, Logger &log); 156 TheoryTermDef const *getTermDef(String name) const;
|
/dports/math/clingo/clingo-5.5.1/libgringo/src/ |
H A D | terms.cc | 71 TheoryTermDef::TheoryTermDef(Location const &loc, String name) in TheoryTermDef() function in Gringo::TheoryTermDef 75 TheoryTermDef::TheoryTermDef(TheoryTermDef &&) = default; 77 void TheoryTermDef::addOpDef(TheoryOpDef &&def, Logger &log) { in addOpDef() 90 String TheoryTermDef::name() const { in name() 94 Location const &TheoryTermDef::loc() const { in loc() 98 TheoryTermDef::~TheoryTermDef() noexcept = default; 100 TheoryTermDef &TheoryTermDef::operator=(TheoryTermDef &&) = default; 102 void TheoryTermDef::print(std::ostream &out) const { in print() 118 bool TheoryTermDef::hasOp(String op, bool unary) const { in hasOp() 122 unsigned TheoryTermDef::getPrio(String op, bool unary) const { in getPrio() [all …]
|
/dports/math/clingo/clingo-5.5.1/libgringo/gringo/output/ |
H A D | theory.hh | 171 TheoryParser(Location const &loc, TheoryTermDef const &def); 179 TheoryTermDef const &def_;
|
/dports/math/clingo/clingo-5.5.1/libgringo/gringo/input/ |
H A D | programbuilder.hh | 43 class TheoryTermDef; 412 using TheoryTermDefs = Indexed<TheoryTermDef, TheoryTermDefUid>; 414 …using TheoryDefVecs = Indexed<std::pair<std::vector<TheoryTermDef>, std::vector<TheoryAtomDef>>, T…
|
/dports/math/clingo/clingo-5.5.1/libgringo/src/input/ |
H A D | programbuilder.cc | 505 TheoryTermDef def(loc, name); in theorytermdef()
|
/dports/math/clingo/clingo-5.5.1/libgringo/src/output/ |
H A D | theory.cc | 173 TheoryParser::TheoryParser(Location const &loc, TheoryTermDef const &def) in TheoryParser()
|