Gringo::GFunctionTerm Struct Reference

#include <term.hh>

Inheritance diagram for Gringo::GFunctionTerm:

Collaboration diagram for Gringo::GFunctionTerm:

Public Member Functions
	GFunctionTerm (FWString name, UGTermVec &&args)
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	~GFunctionTerm ()
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
FWString	name
UGTermVec	args

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

Constructor & Destructor Documentation

Gringo::GFunctionTerm::GFunctionTerm	(	FWString	name,
		UGTermVec &&	args
	)

Gringo::GFunctionTerm::~GFunctionTerm ( )

virtual

Member Function Documentation

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

virtual

Implements Gringo::GTerm.

size_t Gringo::GFunctionTerm::hash ( ) const

virtual

Implements Gringo::Hashable.

Here is the call graph for this function:

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

virtual

Implements Gringo::GTerm.

Here is the call graph for this function:

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

virtual

Implements Gringo::GTerm.

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

virtual

Implements Gringo::Comparable< GTerm >.

Here is the call graph for this function:

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

virtual

Implements Gringo::Printable.

Here is the call graph for this function:

void Gringo::GFunctionTerm::reset ( )

virtual

Implements Gringo::GTerm.

FWSignature Gringo::GFunctionTerm::sig ( ) const

virtual

Implements Gringo::GTerm.

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

virtual

Implements Gringo::GTerm.

Here is the call graph for this function:

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

virtual

Implements Gringo::GTerm.

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

virtual

Implements Gringo::GTerm.

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

virtual

Implements Gringo::GTerm.

Here is the call graph for this function:

Member Data Documentation

UGTermVec Gringo::GFunctionTerm::args

FWString Gringo::GFunctionTerm::name

---

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