Gringo::GVarTerm Struct Reference

#include <term.hh>

Inheritance diagram for Gringo::GVarTerm:

Collaboration diagram for Gringo::GVarTerm:

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

Public Attributes
SGRef	ref

Additional Inherited Members
Public Types inherited from Gringo::GTerm
using	EvalResult = std::pair< bool, Value >

Constructor & Destructor Documentation

Gringo::GVarTerm::GVarTerm

(

SGRef

ref

)

Gringo::GVarTerm::~GVarTerm ( )

virtual

Member Function Documentation

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

virtual

Implements Gringo::GTerm.

size_t Gringo::GVarTerm::hash ( ) const

virtual

Implements Gringo::Hashable.

Here is the call graph for this function:

bool Gringo::GVarTerm::match ( Value const &  x )

virtual

Implements Gringo::GTerm.

bool Gringo::GVarTerm::occurs ( GRef &  x ) const

virtual

Implements Gringo::GTerm.

bool Gringo::GVarTerm::operator== ( GTerm const &  other ) const

virtual

Implements Gringo::Comparable< GTerm >.

void Gringo::GVarTerm::print ( std::ostream &  out ) const

virtual

Implements Gringo::Printable.

void Gringo::GVarTerm::reset ( )

virtual

Implements Gringo::GTerm.

FWSignature Gringo::GVarTerm::sig ( ) const

virtual

Implements Gringo::GTerm.

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

virtual

Implements Gringo::GTerm.

Here is the call graph for this function:

bool Gringo::GVarTerm::unify ( GFunctionTerm &  x )

virtual

Implements Gringo::GTerm.

Here is the call graph for this function:

bool Gringo::GVarTerm::unify ( GLinearTerm &  x )

virtual

Implements Gringo::GTerm.

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

virtual

Implements Gringo::GTerm.

Member Data Documentation

SGRef Gringo::GVarTerm::ref

---

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

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