Gringo::Ground::BodyAggregateAccumulate Struct Reference

#include <statements.hh>

Inheritance diagram for Gringo::Ground::BodyAggregateAccumulate:

Collaboration diagram for Gringo::Ground::BodyAggregateAccumulate:

Public Member Functions
	BodyAggregateAccumulate (SBodyAggregateDomain dom, UTermVec &&tuple, ULitVec &&lits, ULitVec &&auxLits)
virtual bool	isNormal () const
virtual void	analyze (Dep::Node &node, Dep &dep)
virtual void	startLinearize (bool active)
virtual void	linearize (Scripts &scripts, bool positive)
virtual void	enqueue (Queue &q)
virtual void	print (std::ostream &out) const
virtual void	mark ()
virtual void	report (Output::OutputBase &out)
virtual void	unmark (Queue &queue)
virtual void	printHead (std::ostream &out) const
virtual	~BodyAggregateAccumulate ()
Public Member Functions inherited from Gringo::Ground::Statement
virtual	~Statement ()
Public Member Functions inherited from Gringo::Printable
virtual	~Printable ()
Public Member Functions inherited from Gringo::Ground::SolutionCallback
virtual	~SolutionCallback ()

Public Attributes
SBodyAggregateDomain	dom
	domain of the aggregate More...
HeadDefinition	defines
UTermVec	tuple
	tuple to accumulate More...
ULitVec	lits
	condition literals More...
ULitVec	auxLits
	literals necessary for grounding More...
InstVec	insts

Additional Inherited Members
Public Types inherited from Gringo::Ground::Statement
typedef Dependency< UStm, HeadOccurrence >	Dep

Constructor & Destructor Documentation

Gringo::Ground::BodyAggregateAccumulate::BodyAggregateAccumulate	(	SBodyAggregateDomain	dom,
		UTermVec &&	tuple,
		ULitVec &&	lits,
		ULitVec &&	auxLits
	)

Gringo::Ground::BodyAggregateAccumulate::~BodyAggregateAccumulate ( )

virtual

Member Function Documentation

void Gringo::Ground::BodyAggregateAccumulate::analyze ( Dep::Node &  node, Dep &  dep  )

virtual

Implements Gringo::Ground::Statement.

Here is the call graph for this function:

void Gringo::Ground::BodyAggregateAccumulate::enqueue ( Queue &  q )

virtual

Implements Gringo::Ground::Statement.

bool Gringo::Ground::BodyAggregateAccumulate::isNormal ( ) const

virtual

Implements Gringo::Ground::Statement.

void Gringo::Ground::BodyAggregateAccumulate::linearize ( Scripts &  scripts, bool  positive  )

virtual

Implements Gringo::Ground::Statement.

Here is the call graph for this function:

void Gringo::Ground::BodyAggregateAccumulate::mark ( )

virtual

Implements Gringo::Ground::SolutionCallback.

void Gringo::Ground::BodyAggregateAccumulate::print ( std::ostream &  out ) const

virtual

Implements Gringo::Printable.

Here is the call graph for this function:

void Gringo::Ground::BodyAggregateAccumulate::printHead ( std::ostream &  out ) const

virtual

Implements Gringo::Ground::SolutionCallback.

Here is the call graph for this function:

void Gringo::Ground::BodyAggregateAccumulate::report ( Output::OutputBase &  out )

virtual

Implements Gringo::Ground::SolutionCallback.

void Gringo::Ground::BodyAggregateAccumulate::startLinearize ( bool  active )

virtual

Implements Gringo::Ground::Statement.

void Gringo::Ground::BodyAggregateAccumulate::unmark ( Queue &  queue )

virtual

Implements Gringo::Ground::SolutionCallback.

Here is the call graph for this function:

Member Data Documentation

ULitVec Gringo::Ground::BodyAggregateAccumulate::auxLits

literals necessary for grounding

HeadDefinition Gringo::Ground::BodyAggregateAccumulate::defines

SBodyAggregateDomain Gringo::Ground::BodyAggregateAccumulate::dom

domain of the aggregate

InstVec Gringo::Ground::BodyAggregateAccumulate::insts

ULitVec Gringo::Ground::BodyAggregateAccumulate::lits

condition literals

UTermVec Gringo::Ground::BodyAggregateAccumulate::tuple

tuple to accumulate

---

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

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