Searched refs:TheoryAtomDef (Results 1 – 3 of 3) sorted by relevance
| /dports/math/clingo/clingo-5.5.1/libgringo/gringo/ |
| H A D | terms.hh | 108 class TheoryAtomDef { class
112 Key operator()(TheoryAtomDef const &x) const { in operator ()()
117 …TheoryAtomDef(Location const &loc, String name, unsigned arity, String elemDef, TheoryAtomType typ…
118 …TheoryAtomDef(Location const &loc, String name, unsigned arity, String elemDef, TheoryAtomType typ…
119 TheoryAtomDef(TheoryAtomDef &&);
120 ~TheoryAtomDef() noexcept;
121 TheoryAtomDef &operator=(TheoryAtomDef &&);
138 …eVec<TheoryAtomDef, HashKey<TheoryAtomDef::Key, TheoryAtomDef::GetKey, value_hash<TheoryAtomDef::K…
139 inline std::ostream &operator<<(std::ostream &out, TheoryAtomDef const &def) { in operator <<()
153 void addAtomDef(TheoryAtomDef &&def, Logger &log);
[all …]
|
| /dports/math/clingo/clingo-5.5.1/libgringo/src/ |
| H A D | terms.cc | 134 TheoryAtomDef::TheoryAtomDef(Location const &loc, String name, unsigned arity, String elemDef, Theo… in TheoryAtomDef() function in Gringo::TheoryAtomDef
145 TheoryAtomDef::TheoryAtomDef(TheoryAtomDef &&) = default;
147 Sig TheoryAtomDef::sig() const { in sig()
151 bool TheoryAtomDef::hasGuard() const { in hasGuard()
155 TheoryAtomType TheoryAtomDef::type() const { in type()
159 Location const &TheoryAtomDef::loc() const { in loc()
163 StringVec const &TheoryAtomDef::ops() const { in ops()
167 String TheoryAtomDef::elemDef() const { in elemDef()
171 String TheoryAtomDef::guardDef() const { in guardDef()
176 TheoryAtomDef::~TheoryAtomDef() noexcept = default;
[all …]
|
| /dports/math/clingo/clingo-5.5.1/libgringo/gringo/input/ |
| H A D | programbuilder.hh | 44 class TheoryAtomDef;
413 using TheoryAtomDefs = Indexed<TheoryAtomDef, TheoryAtomDefUid>;
414 …using TheoryDefVecs = Indexed<std::pair<std::vector<TheoryTermDef>, std::vector<TheoryAtomDef>>, T…
|