Home
last modified time | relevance | path

Searched refs:TheoryTermDef (Results 1 – 6 of 6) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libgringo/gringo/
H A Dterms.hh81 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 Dterms.cc71 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 Dtheory.hh171 TheoryParser(Location const &loc, TheoryTermDef const &def);
179 TheoryTermDef const &def_;
/dports/math/clingo/clingo-5.5.1/libgringo/gringo/input/
H A Dprogrambuilder.hh43 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 Dprogrambuilder.cc505 TheoryTermDef def(loc, name); in theorytermdef()
/dports/math/clingo/clingo-5.5.1/libgringo/src/output/
H A Dtheory.cc173 TheoryParser::TheoryParser(Location const &loc, TheoryTermDef const &def) in TheoryParser()