Gringo::Ground::ConjunctionAccumulateEmpty Struct Reference

#include <statements.hh>

Inheritance diagram for Gringo::Ground::ConjunctionAccumulateEmpty:

Collaboration diagram for Gringo::Ground::ConjunctionAccumulateEmpty:

Public Member Functions
	ConjunctionAccumulateEmpty (SConjunctionDomain conjDom, 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	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	~ConjunctionAccumulateEmpty ()
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
SConjunctionDomain	conjDom
HeadDefinition	conjDef
ULitVec	auxLits
InstVec	insts

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

Constructor & Destructor Documentation

Gringo::Ground::ConjunctionAccumulateEmpty::ConjunctionAccumulateEmpty	(	SConjunctionDomain	conjDom,
		ULitVec &&	auxLits
	)

Gringo::Ground::ConjunctionAccumulateEmpty::~ConjunctionAccumulateEmpty ( )

virtual

Member Function Documentation

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

virtual

Implements Gringo::Ground::Statement.

Here is the call graph for this function:

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

virtual

Implements Gringo::Ground::Statement.

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

virtual

Implements Gringo::Ground::Statement.

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

virtual

Implements Gringo::Ground::Statement.

Here is the call graph for this function:

void Gringo::Ground::ConjunctionAccumulateEmpty::mark ( )

virtual

Implements Gringo::Ground::SolutionCallback.

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

virtual

Implements Gringo::Printable.

Here is the call graph for this function:

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

virtual

Implements Gringo::Ground::SolutionCallback.

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

virtual

Implements Gringo::Ground::SolutionCallback.

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

virtual

Implements Gringo::Ground::Statement.

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

virtual

Implements Gringo::Ground::SolutionCallback.

Here is the call graph for this function:

Member Data Documentation

ULitVec Gringo::Ground::ConjunctionAccumulateEmpty::auxLits

HeadDefinition Gringo::Ground::ConjunctionAccumulateEmpty::conjDef

SConjunctionDomain Gringo::Ground::ConjunctionAccumulateEmpty::conjDom

InstVec Gringo::Ground::ConjunctionAccumulateEmpty::insts

---

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