Gringo::Bound Struct Reference

#include <base.hh>

Collaboration diagram for Gringo::Bound:

Public Member Functions
	Bound (Relation rel, UTerm &&bound)
	Bound (Bound &&bound) noexcept
Bound &	operator= (Bound &&) noexcept
size_t	hash () const
bool	operator== (Bound const &other) const
BoundVec	unpool ()
	Unpool the terms in the bound. More...
void	simplify (Term::DotsMap &dots, Term::ScriptMap &scripts, unsigned &auxNum)
void	rewriteArithmetics (Term::ArithmeticsMap &arith, unsigned &auxNum)

Public Attributes
Relation	rel
UTerm	bound

Constructor & Destructor Documentation

Gringo::Bound::Bound ( Relation  rel, UTerm &&  bound  )

inline

Gringo::Bound::Bound ( Bound &&  bound )

inlinedefaultnoexcept

Member Function Documentation

size_t Gringo::Bound::hash ( ) const

inline

Here is the call graph for this function:

Bound & Gringo::Bound::operator= ( Bound &&  )

inlinedefaultnoexcept

bool Gringo::Bound::operator== ( Bound const &  other ) const

inline

Here is the call graph for this function:

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

inline

Rewrite arithmetics.

Precondition

Must be called after assignLevels.

Here is the call graph for this function:

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

inline

Simplify the terms in the bound.

Precondition

Must be called after unpool.

BoundVec Gringo::Bound::unpool ( )

inline

Unpool the terms in the bound.

Here is the call graph for this function:

Member Data Documentation

UTerm Gringo::Bound::bound

Relation Gringo::Bound::rel

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/base.hh