clingo
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups
Gringo::GFunctionTerm Member List

This is the complete list of members for Gringo::GFunctionTerm, including all inherited members.

argsGringo::GFunctionTerm
eval() const Gringo::GFunctionTermvirtual
EvalResult typedefGringo::GTerm
GFunctionTerm(FWString name, UGTermVec &&args)Gringo::GFunctionTerm
hash() const Gringo::GFunctionTermvirtual
match(Value const &x)Gringo::GFunctionTermvirtual
nameGringo::GFunctionTerm
occurs(GRef &x) const Gringo::GFunctionTermvirtual
operator!=(GTermconst &other) constGringo::Comparable< GTerm >inlinevirtual
operator==(GTerm const &other) const Gringo::GFunctionTermvirtual
print(std::ostream &out) const Gringo::GFunctionTermvirtual
reset()Gringo::GFunctionTermvirtual
sig() const Gringo::GFunctionTermvirtual
unify(GTerm &x)Gringo::GFunctionTermvirtual
unify(GFunctionTerm &x)Gringo::GFunctionTermvirtual
unify(GLinearTerm &x)Gringo::GFunctionTermvirtual
unify(GVarTerm &x)Gringo::GFunctionTermvirtual
~Comparable()Gringo::Comparable< GTerm >inlinevirtual
~GFunctionTerm()Gringo::GFunctionTermvirtual
~GTerm()Gringo::GTerminlinevirtual
~Hashable()Gringo::Hashableinlinevirtual
~Printable()Gringo::Printableinlinevirtual
Generated on Wed May 14 2014 16:10:52 for clingo by   doxygen 1.8.7