Gringo::Ground::HeadAggregateAccumulate Struct Reference

#include <statements.hh>

Inheritance diagram for Gringo::Ground::HeadAggregateAccumulate:

Collaboration diagram for Gringo::Ground::HeadAggregateAccumulate:

Public Member Functions
	HeadAggregateAccumulate (SHeadAggregateDomain dom, UTermVec &&tuple, PredicateDomain *predDom, UTerm &&repr, ULitVec &&lits)
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	print (std::ostream &out) const
virtual void	enqueue (Queue &q)
virtual void	mark ()
virtual void	report (Output::OutputBase &out)
virtual void	unmark (Queue &queue)
virtual void	printHead (std::ostream &out) const
virtual	~HeadAggregateAccumulate ()
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
SHeadAggregateDomain	dom
UTermVec	tuple
unsigned	headNum
ULitVec	lits
InstVec	insts

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

Constructor & Destructor Documentation

Gringo::Ground::HeadAggregateAccumulate::HeadAggregateAccumulate	(	SHeadAggregateDomain	dom,
		UTermVec &&	tuple,
		PredicateDomain *	predDom,
		UTerm &&	repr,
		ULitVec &&	lits
	)

Gringo::Ground::HeadAggregateAccumulate::~HeadAggregateAccumulate ( )

virtual

Member Function Documentation

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

virtual

Implements Gringo::Ground::Statement.

Here is the call graph for this function:

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

virtual

Implements Gringo::Ground::Statement.

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

virtual

Implements Gringo::Ground::Statement.

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

virtual

Implements Gringo::Ground::Statement.

void Gringo::Ground::HeadAggregateAccumulate::mark ( )

virtual

Implements Gringo::Ground::SolutionCallback.

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

virtual

Implements Gringo::Printable.

Here is the call graph for this function:

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

virtual

Implements Gringo::Ground::SolutionCallback.

Here is the call graph for this function:

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

virtual

Implements Gringo::Ground::SolutionCallback.

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

virtual

Implements Gringo::Ground::Statement.

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

virtual

Implements Gringo::Ground::SolutionCallback.

Member Data Documentation

SHeadAggregateDomain Gringo::Ground::HeadAggregateAccumulate::dom

unsigned Gringo::Ground::HeadAggregateAccumulate::headNum

InstVec Gringo::Ground::HeadAggregateAccumulate::insts

ULitVec Gringo::Ground::HeadAggregateAccumulate::lits

UTermVec Gringo::Ground::HeadAggregateAccumulate::tuple

---

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