Gringo::GRef Struct Reference

#include <term.hh>

Collaboration diagram for Gringo::GRef:

Public Types
enum	Type { EMPTY, VALUE, TERM }

Public Member Functions
	GRef (UTerm &&name)
	operator bool () const
void	reset ()
GRef &	operator= (Value const &x)
GRef &	operator= (GTerm &x)
bool	occurs (GRef &x) const
bool	match (Value const &x)
template<class T >
bool	unify (T &x)

Public Attributes
Type	type
UTerm	name
Value	value
GTerm *	term

Member Enumeration Documentation

enum Gringo::GRef::Type

Enumerator
EMPTY
VALUE
TERM

Constructor & Destructor Documentation

Gringo::GRef::GRef

(

UTerm &&

name

)

Member Function Documentation

bool Gringo::GRef::match

(

Value const &

x

)

Here is the call graph for this function:

bool Gringo::GRef::occurs

(

GRef &

x

)

const

Here is the call graph for this function:

Gringo::GRef::operator bool

(

)

const

GRef & Gringo::GRef::operator=

(

Value const &

x

)

GRef & Gringo::GRef::operator=

(

GTerm &

x

)

void Gringo::GRef::reset

(

)

template<class T >

bool Gringo::GRef::unify

(

T &

x

)

Here is the call graph for this function:

Member Data Documentation

UTerm Gringo::GRef::name

GTerm* Gringo::GRef::term

Type Gringo::GRef::type

Value Gringo::GRef::value

---

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