Gringo::CSPMulTerm Struct Reference

#include <terms.hh>

Collaboration diagram for Gringo::CSPMulTerm:

Public Member Functions
	CSPMulTerm (UTerm &&var, UTerm &&coe)
	CSPMulTerm (CSPMulTerm &&x)
CSPMulTerm &	operator= (CSPMulTerm &&x)
void	collect (VarTermBoundVec &vars) const
void	collect (VarTermSet &vars) const
void	replace (Defines &x)
bool	operator== (CSPMulTerm 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< CSPMulTerm >	unpool () const
	~CSPMulTerm ()

Public Attributes
UTerm	var
UTerm	coe

Constructor & Destructor Documentation

Gringo::CSPMulTerm::CSPMulTerm	(	UTerm &&	var,
		UTerm &&	coe
	)

Gringo::CSPMulTerm::CSPMulTerm ( CSPMulTerm &&  x )

default

Gringo::CSPMulTerm::~CSPMulTerm

(

)

Member Function Documentation

void Gringo::CSPMulTerm::collect

(

VarTermBoundVec &

vars

)

const

void Gringo::CSPMulTerm::collect

(

VarTermSet &

vars

)

const

size_t Gringo::CSPMulTerm::hash

(

)

const

Here is the call graph for this function:

bool Gringo::CSPMulTerm::hasPool

(

)

const

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

default

bool Gringo::CSPMulTerm::operator==

(

CSPMulTerm const &

x

)

const

Here is the call graph for this function:

void Gringo::CSPMulTerm::replace

(

Defines &

x

)

Here is the call graph for this function:

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

Here is the call graph for this function:

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

std::vector< CSPMulTerm > Gringo::CSPMulTerm::unpool

(

)

const

Here is the call graph for this function:

Member Data Documentation

UTerm Gringo::CSPMulTerm::coe

UTerm Gringo::CSPMulTerm::var

---

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