Gringo::CSPAddTerm Struct Reference

#include <terms.hh>

Collaboration diagram for Gringo::CSPAddTerm:

Public Types
using	Terms = std::vector< CSPMulTerm >

Public Member Functions
	CSPAddTerm (CSPMulTerm &&x)
	CSPAddTerm (CSPAddTerm &&x)
	CSPAddTerm (Terms &&terms)
CSPAddTerm &	operator= (CSPAddTerm &&x)
void	append (CSPMulTerm &&x)
void	simplify (Term::DotsMap &dots, Term::ScriptMap &scripts, unsigned &auxNum)
void	collect (VarTermBoundVec &vars) const
void	collect (VarTermSet &vars) const
void	replace (Defines &x)
bool	operator== (CSPAddTerm const &x) const
void	rewriteArithmetics (Term::ArithmeticsMap &arith, unsigned &auxNum)
std::vector< CSPAddTerm >	unpool () const
size_t	hash () const
bool	hasPool () const
void	toGround (CSPGroundLit &ground, bool invert) const
	~CSPAddTerm ()

Public Attributes
Terms	terms

Member Typedef Documentation

using Gringo::CSPAddTerm::Terms = std::vector<CSPMulTerm>

Constructor & Destructor Documentation

Gringo::CSPAddTerm::CSPAddTerm

(

CSPMulTerm &&

x

)

Gringo::CSPAddTerm::CSPAddTerm ( CSPAddTerm &&  x )

default

Gringo::CSPAddTerm::CSPAddTerm

(

Terms &&

terms

)

Gringo::CSPAddTerm::~CSPAddTerm

(

)

Member Function Documentation

void Gringo::CSPAddTerm::append

(

CSPMulTerm &&

x

)

void Gringo::CSPAddTerm::collect

(

VarTermBoundVec &

vars

)

const

void Gringo::CSPAddTerm::collect

(

VarTermSet &

vars

)

const

size_t Gringo::CSPAddTerm::hash

(

)

const

Here is the call graph for this function:

bool Gringo::CSPAddTerm::hasPool

(

)

const

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

default

bool Gringo::CSPAddTerm::operator==

(

CSPAddTerm const &

x

)

const

Here is the call graph for this function:

void Gringo::CSPAddTerm::replace

(

Defines &

x

)

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

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

void Gringo::CSPAddTerm::toGround	(	CSPGroundLit &	ground,
		bool	invert
	)		const

Here is the call graph for this function:

std::vector< CSPAddTerm > Gringo::CSPAddTerm::unpool

(

)

const

Here is the call graph for this function:

Member Data Documentation

Terms Gringo::CSPAddTerm::terms

---

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