Gringo::Output::HeadAggregateRule Struct Reference

#include <statements.hh>

Inheritance diagram for Gringo::Output::HeadAggregateRule:

Collaboration diagram for Gringo::Output::HeadAggregateRule:

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

Public Member Functions
virtual void	toLparse (LparseTranslator &x)
virtual void	printPlain (std::ostream &out) const
virtual void	printLparse (LparseOutputter &out) const
virtual bool	isIncomplete () const
virtual HeadAggregateRule *	clone () const
virtual	~HeadAggregateRule ()
Public Member Functions inherited from Gringo::Output::Statement
virtual	~Statement ()
Public Member Functions inherited from Gringo::Clonable< Statement >
virtual	~Clonable ()

Static Public Member Functions
static void	printElem (std::ostream &out, HeadAggregateState::ElemSet::value_type const &x)

Public Attributes
BoundsVec	bounds
AggregateFunction	fun = AggregateFunction::COUNT
HeadAggregateState *	repr = nullptr
ULitVec	body

Member Typedef Documentation

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

Constructor & Destructor Documentation

Gringo::Output::HeadAggregateRule::~HeadAggregateRule ( )

virtual

Member Function Documentation

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

virtual

Implements Gringo::Clonable< Statement >.

Here is the call graph for this function:

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

virtual

Implements Gringo::Output::Statement.

void Gringo::Output::HeadAggregateRule::printElem ( std::ostream &  out, HeadAggregateState::ElemSet::value_type const &  x  )

static

Here is the call graph for this function:

void Gringo::Output::HeadAggregateRule::printLparse ( LparseOutputter &  out ) const

virtual

Implements Gringo::Output::Statement.

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

virtual

Implements Gringo::Output::Statement.

Here is the call graph for this function:

void Gringo::Output::HeadAggregateRule::toLparse ( LparseTranslator &  x )

virtual

Implements Gringo::Output::Statement.

Here is the call graph for this function:

Member Data Documentation

ULitVec Gringo::Output::HeadAggregateRule::body

BoundsVec Gringo::Output::HeadAggregateRule::bounds

AggregateFunction Gringo::Output::HeadAggregateRule::fun = AggregateFunction::COUNT

HeadAggregateState* Gringo::Output::HeadAggregateRule::repr = nullptr

---

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

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