Gringo::Output::BodyAggregate Struct Reference

#include <literals.hh>

Inheritance diagram for Gringo::Output::BodyAggregate:

Collaboration diagram for Gringo::Output::BodyAggregate:

Public Types
using	BoundsVec = std::vector< std::pair< Relation, Value >>

Public Member Functions
	BodyAggregate (Location const *&loc)
virtual void	printPlain (std::ostream &out) const
virtual bool	isIncomplete () const
virtual BodyAggregate *	clone () const
virtual size_t	hash () const
virtual bool	operator== (Literal const &) const
virtual ULit	toLparse (LparseTranslator &x)
virtual void	makeEqual (ULit &&lit, LparseTranslator &x) const
virtual int	lparseUid (LparseOutputter &out) const
virtual	~BodyAggregate ()
Public Member Functions inherited from Gringo::Output::Literal
virtual bool	isBound (Value &value, bool negate) const
virtual void	updateBound (CSPBound &bounds, bool negate) const
virtual bool	invertible () const
virtual void	invert ()
virtual	~Literal ()
Public Member Functions inherited from Gringo::Clonable< Literal >
virtual	~Clonable ()
Public Member Functions inherited from Gringo::Hashable
virtual	~Hashable ()
Public Member Functions inherited from Gringo::Comparable< Literal >
virtual bool	operator== (Literalconst &other) const =0
virtual bool	operator!= (Literalconst &other) const
virtual	~Comparable ()

Public Attributes
Location const *&	loc
BoundsVec	bounds
NAF	naf = NAF::POS
AggregateFunction	fun = AggregateFunction::COUNT
bool	incomplete = false
BodyAggregateState::element_type *	repr = nullptr

Member Typedef Documentation

using Gringo::Output::BodyAggregate::BoundsVec = std::vector<std::pair<Relation, Value>>

Constructor & Destructor Documentation

Gringo::Output::BodyAggregate::BodyAggregate

(

Location const *&

loc

)

Gringo::Output::BodyAggregate::~BodyAggregate ( )

virtual

Member Function Documentation

BodyAggregate * Gringo::Output::BodyAggregate::clone ( ) const

virtual

Implements Gringo::Clonable< Literal >.

Here is the call graph for this function:

size_t Gringo::Output::BodyAggregate::hash ( ) const

virtual

Implements Gringo::Hashable.

bool Gringo::Output::BodyAggregate::isIncomplete ( ) const

virtual

Implements Gringo::Output::Literal.

int Gringo::Output::BodyAggregate::lparseUid ( LparseOutputter &  out ) const

virtual

Implements Gringo::Output::Literal.

void Gringo::Output::BodyAggregate::makeEqual ( ULit &&  lit, LparseTranslator &  x  ) const

virtual

Implements Gringo::Output::Literal.

bool Gringo::Output::BodyAggregate::operator== ( Literal const &  ) const

virtual

void Gringo::Output::BodyAggregate::printPlain ( std::ostream &  out ) const

virtual

Implements Gringo::Output::Literal.

Here is the call graph for this function:

ULit Gringo::Output::BodyAggregate::toLparse ( LparseTranslator &  x )

virtual

Implements Gringo::Output::Literal.

Here is the call graph for this function:

Member Data Documentation

BoundsVec Gringo::Output::BodyAggregate::bounds

AggregateFunction Gringo::Output::BodyAggregate::fun = AggregateFunction::COUNT

bool Gringo::Output::BodyAggregate::incomplete = false

Location const*& Gringo::Output::BodyAggregate::loc

NAF Gringo::Output::BodyAggregate::naf = NAF::POS

BodyAggregateState::element_type* Gringo::Output::BodyAggregate::repr = nullptr

---

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

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