Gringo::Ground::DisjointAccumulate Struct Reference

#include <statements.hh>

Inheritance diagram for Gringo::Ground::DisjointAccumulate:

Collaboration diagram for Gringo::Ground::DisjointAccumulate:

Classes
struct	Value

Public Types
using	UVal = std::unique_ptr< Value >
Public Types inherited from Gringo::Ground::Statement
typedef Dependency< UStm, HeadOccurrence >	Dep

Public Member Functions
	DisjointAccumulate (SDisjointDomain dom, ULitVec &&lits, ULitVec &&auxLits)
	DisjointAccumulate (SDisjointDomain dom, UTermVec &&tuple, CSPAddTerm &&value, 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	~DisjointAccumulate ()
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
SDisjointDomain	dom
HeadDefinition	defines
UVal	val
ULitVec	lits
ULitVec	auxLits
InstVec	insts
ExternalBodyOcc	ext

Member Typedef Documentation

using Gringo::Ground::DisjointAccumulate::UVal = std::unique_ptr<Value>

Constructor & Destructor Documentation

Gringo::Ground::DisjointAccumulate::DisjointAccumulate	(	SDisjointDomain	dom,
		ULitVec &&	lits,
		ULitVec &&	auxLits
	)

Gringo::Ground::DisjointAccumulate::DisjointAccumulate	(	SDisjointDomain	dom,
		UTermVec &&	tuple,
		CSPAddTerm &&	value,
		ULitVec &&	lits,
		ULitVec &&	auxLits
	)

Gringo::Ground::DisjointAccumulate::~DisjointAccumulate ( )

virtual

Member Function Documentation

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

virtual

Implements Gringo::Ground::Statement.

Here is the call graph for this function:

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

virtual

Implements Gringo::Ground::Statement.

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

virtual

Implements Gringo::Ground::Statement.

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

virtual

Implements Gringo::Ground::Statement.

Here is the call graph for this function:

void Gringo::Ground::DisjointAccumulate::mark ( )

virtual

Implements Gringo::Ground::SolutionCallback.

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

virtual

Implements Gringo::Printable.

Here is the call graph for this function:

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

virtual

Implements Gringo::Ground::SolutionCallback.

Here is the call graph for this function:

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

virtual

Implements Gringo::Ground::SolutionCallback.

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

virtual

Implements Gringo::Ground::Statement.

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

virtual

Implements Gringo::Ground::SolutionCallback.

Here is the call graph for this function:

Member Data Documentation

ULitVec Gringo::Ground::DisjointAccumulate::auxLits

HeadDefinition Gringo::Ground::DisjointAccumulate::defines

SDisjointDomain Gringo::Ground::DisjointAccumulate::dom

ExternalBodyOcc Gringo::Ground::DisjointAccumulate::ext

InstVec Gringo::Ground::DisjointAccumulate::insts

ULitVec Gringo::Ground::DisjointAccumulate::lits

UVal Gringo::Ground::DisjointAccumulate::val

---

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