Gringo::Ground::DisjunctionAccumulate Struct Reference

#include <statements.hh>

Inheritance diagram for Gringo::Ground::DisjunctionAccumulate:

Collaboration diagram for Gringo::Ground::DisjunctionAccumulate:

Public Member Functions
	DisjunctionAccumulate (SDisjunctionDomain dom, 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	~DisjunctionAccumulate ()
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
SDisjunctionDomain	dom
PredicateDomain *	predDom
UHeadDef	def
ULitVec	lits
InstVec	insts

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

Constructor & Destructor Documentation

Gringo::Ground::DisjunctionAccumulate::DisjunctionAccumulate	(	SDisjunctionDomain	dom,
		PredicateDomain *	predDom,
		UTerm &&	repr,
		ULitVec &&	lits
	)

Gringo::Ground::DisjunctionAccumulate::~DisjunctionAccumulate ( )

virtual

Member Function Documentation

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

virtual

Implements Gringo::Ground::Statement.

Here is the call graph for this function:

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

virtual

Implements Gringo::Ground::Statement.

Here is the call graph for this function:

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

virtual

Implements Gringo::Ground::Statement.

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

virtual

Implements Gringo::Ground::Statement.

void Gringo::Ground::DisjunctionAccumulate::mark ( )

virtual

Implements Gringo::Ground::SolutionCallback.

Here is the call graph for this function:

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

virtual

Implements Gringo::Printable.

Here is the call graph for this function:

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

virtual

Implements Gringo::Ground::SolutionCallback.

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

virtual

Implements Gringo::Ground::SolutionCallback.

Here is the call graph for this function:

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

virtual

Implements Gringo::Ground::Statement.

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

virtual

Implements Gringo::Ground::SolutionCallback.

Here is the call graph for this function:

Member Data Documentation

UHeadDef Gringo::Ground::DisjunctionAccumulate::def

SDisjunctionDomain Gringo::Ground::DisjunctionAccumulate::dom

InstVec Gringo::Ground::DisjunctionAccumulate::insts

ULitVec Gringo::Ground::DisjunctionAccumulate::lits

PredicateDomain* Gringo::Ground::DisjunctionAccumulate::predDom

---

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