Gringo::GLinearTerm Struct Reference

#include <term.hh>

Inheritance diagram for Gringo::GLinearTerm:

Collaboration diagram for Gringo::GLinearTerm:

Public Member Functions
	GLinearTerm (SGRef ref, int m, int n)
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	~GLinearTerm ()
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
int	m
int	n

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

Constructor & Destructor Documentation

Gringo::GLinearTerm::GLinearTerm	(	SGRef	ref,
		int	m,
		int	n
	)

Gringo::GLinearTerm::~GLinearTerm ( )

virtual

Member Function Documentation

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

virtual

Implements Gringo::GTerm.

size_t Gringo::GLinearTerm::hash ( ) const

virtual

Implements Gringo::Hashable.

Here is the call graph for this function:

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

virtual

Implements Gringo::GTerm.

Here is the call graph for this function:

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

virtual

Implements Gringo::GTerm.

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

virtual

Implements Gringo::Comparable< GTerm >.

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

virtual

Implements Gringo::Printable.

void Gringo::GLinearTerm::reset ( )

virtual

Implements Gringo::GTerm.

FWSignature Gringo::GLinearTerm::sig ( ) const

virtual

Implements Gringo::GTerm.

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

virtual

Implements Gringo::GTerm.

Here is the call graph for this function:

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

virtual

Implements Gringo::GTerm.

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

virtual

Implements Gringo::GTerm.

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

virtual

Implements Gringo::GTerm.

Member Data Documentation

int Gringo::GLinearTerm::m

int Gringo::GLinearTerm::n

SGRef Gringo::GLinearTerm::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