Gringo::CSPRelTerm Struct Reference

#include <terms.hh>

Collaboration diagram for Gringo::CSPRelTerm:

Public Member Functions
	CSPRelTerm (CSPRelTerm &&x)
	CSPRelTerm (Relation rel, CSPAddTerm &&x)
CSPRelTerm &	operator= (CSPRelTerm &&x)
void	collect (VarTermBoundVec &vars) const
void	collect (VarTermSet &vars) const
void	replace (Defines &x)
bool	operator== (CSPRelTerm const &x) const
void	simplify (Term::DotsMap &dots, Term::ScriptMap &scripts, unsigned &auxNum)
void	rewriteArithmetics (Term::ArithmeticsMap &arith, unsigned &auxNum)
size_t	hash () const
bool	hasPool () const
std::vector< CSPRelTerm >	unpool () const
	~CSPRelTerm ()

Public Attributes
Relation	rel
CSPAddTerm	term

Constructor & Destructor Documentation

Gringo::CSPRelTerm::CSPRelTerm ( CSPRelTerm &&  x )

default

Gringo::CSPRelTerm::CSPRelTerm	(	Relation	rel,
		CSPAddTerm &&	x
	)

Gringo::CSPRelTerm::~CSPRelTerm

(

)

Member Function Documentation

void Gringo::CSPRelTerm::collect

(

VarTermBoundVec &

vars

)

const

Here is the call graph for this function:

void Gringo::CSPRelTerm::collect

(

VarTermSet &

vars

)

const

Here is the call graph for this function:

size_t Gringo::CSPRelTerm::hash

(

)

const

Here is the call graph for this function:

bool Gringo::CSPRelTerm::hasPool

(

)

const

Here is the call graph for this function:

CSPRelTerm & Gringo::CSPRelTerm::operator= ( CSPRelTerm &&  x )

default

bool Gringo::CSPRelTerm::operator==

(

CSPRelTerm const &

x

)

const

void Gringo::CSPRelTerm::replace

(

Defines &

x

)

Here is the call graph for this function:

void Gringo::CSPRelTerm::rewriteArithmetics	(	Term::ArithmeticsMap &	arith,
		unsigned &	auxNum
	)

Here is the call graph for this function:

void Gringo::CSPRelTerm::simplify	(	Term::DotsMap &	dots,
		Term::ScriptMap &	scripts,
		unsigned &	auxNum
	)

Here is the call graph for this function:

std::vector< CSPRelTerm > Gringo::CSPRelTerm::unpool

(

)

const

Here is the call graph for this function:

Member Data Documentation

Relation Gringo::CSPRelTerm::rel

CSPAddTerm Gringo::CSPRelTerm::term

---

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

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