Gringo::GTerm Struct Reference

#include <term.hh>

Inheritance diagram for Gringo::GTerm:

Collaboration diagram for Gringo::GTerm:

Public Types
using	EvalResult = std::pair< bool, Value >

Public Member Functions
virtual FWSignature	sig () const =0
virtual EvalResult	eval () const =0
virtual bool	occurs (GRef &x) const =0
virtual void	reset ()=0
virtual bool	match (Value const &x)=0
virtual bool	unify (GTerm &x)=0
virtual bool	unify (GFunctionTerm &x)=0
virtual bool	unify (GLinearTerm &x)=0
virtual bool	unify (GVarTerm &x)=0
virtual	~GTerm ()
Public Member Functions inherited from Gringo::Printable
virtual void	print (std::ostream &out) const =0
virtual	~Printable ()
Public Member Functions inherited from Gringo::Hashable
virtual size_t	hash () const =0
virtual	~Hashable ()
Public Member Functions inherited from Gringo::Comparable< GTerm >
virtual bool	operator== (GTermconst &other) const =0
virtual bool	operator!= (GTermconst &other) const
virtual	~Comparable ()

Member Typedef Documentation

using Gringo::GTerm::EvalResult = std::pair<bool, Value>

Constructor & Destructor Documentation

virtual Gringo::GTerm::~GTerm ( )

inlinevirtual

Member Function Documentation

virtual EvalResult Gringo::GTerm::eval ( ) const

pure virtual

Implemented in Gringo::GVarTerm, Gringo::GLinearTerm, Gringo::GFunctionTerm, and Gringo::GValTerm.

virtual bool Gringo::GTerm::match ( Value const &  x )

pure virtual

Implemented in Gringo::GVarTerm, Gringo::GLinearTerm, Gringo::GFunctionTerm, and Gringo::GValTerm.

virtual bool Gringo::GTerm::occurs ( GRef &  x ) const

pure virtual

Implemented in Gringo::GVarTerm, Gringo::GLinearTerm, Gringo::GFunctionTerm, and Gringo::GValTerm.

virtual void Gringo::GTerm::reset ( )

pure virtual

Implemented in Gringo::GVarTerm, Gringo::GLinearTerm, Gringo::GFunctionTerm, and Gringo::GValTerm.

virtual FWSignature Gringo::GTerm::sig ( ) const

pure virtual

Implemented in Gringo::GVarTerm, Gringo::GLinearTerm, Gringo::GFunctionTerm, and Gringo::GValTerm.

virtual bool Gringo::GTerm::unify ( GTerm &  x )

pure virtual

Implemented in Gringo::GVarTerm, Gringo::GLinearTerm, Gringo::GFunctionTerm, and Gringo::GValTerm.

virtual bool Gringo::GTerm::unify ( GFunctionTerm &  x )

pure virtual

Implemented in Gringo::GVarTerm, Gringo::GLinearTerm, Gringo::GFunctionTerm, and Gringo::GValTerm.

virtual bool Gringo::GTerm::unify ( GLinearTerm &  x )

pure virtual

Implemented in Gringo::GVarTerm, Gringo::GLinearTerm, Gringo::GFunctionTerm, and Gringo::GValTerm.

virtual bool Gringo::GTerm::unify ( GVarTerm &  x )

pure virtual

Implemented in Gringo::GVarTerm, Gringo::GLinearTerm, Gringo::GFunctionTerm, and Gringo::GValTerm.

---

The documentation for this struct was generated from the following file:

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/term.hh