|
clingo
|
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups
|
clingo
|
This is the complete list of members for Gringo::GTerm, including all inherited members.
| eval() const =0 | Gringo::GTerm | pure virtual |
| EvalResult typedef | Gringo::GTerm | |
| hash() const =0 | Gringo::Hashable | pure virtual |
| match(Value const &x)=0 | Gringo::GTerm | pure virtual |
| occurs(GRef &x) const =0 | Gringo::GTerm | pure virtual |
| operator!=(GTermconst &other) const | Gringo::Comparable< GTerm > | inlinevirtual |
| operator==(GTermconst &other) const =0 | Gringo::Comparable< GTerm > | pure virtual |
| print(std::ostream &out) const =0 | Gringo::Printable | pure virtual |
| reset()=0 | Gringo::GTerm | pure virtual |
| sig() const =0 | Gringo::GTerm | pure virtual |
| unify(GTerm &x)=0 | Gringo::GTerm | pure virtual |
| unify(GFunctionTerm &x)=0 | Gringo::GTerm | pure virtual |
| unify(GLinearTerm &x)=0 | Gringo::GTerm | pure virtual |
| unify(GVarTerm &x)=0 | Gringo::GTerm | pure virtual |
| ~Comparable() | Gringo::Comparable< GTerm > | inlinevirtual |
| ~GTerm() | Gringo::GTerm | inlinevirtual |
| ~Hashable() | Gringo::Hashable | inlinevirtual |
| ~Printable() | Gringo::Printable | inlinevirtual |
1.8.7