Inheritance diagram for Gringo::Output::DisjunctionRule:

Collaboration diagram for Gringo::Output::DisjunctionRule:

Public Member Functions
virtual void	toLparse (LparseTranslator &x)

virtual void	printPlain (std::ostream &out) const

virtual void	printLparse (LparseOutputter &out) const

virtual bool	isIncomplete () const

virtual DisjunctionRule *	clone () const

virtual	~DisjunctionRule ()

Public Member Functions inherited from Gringo::Output::Statement
virtual	~Statement ()

Public Member Functions inherited from Gringo::Clonable< Statement >
virtual	~Clonable ()

Static Public Member Functions
static void	printElem (std::ostream &out, DisjunctionState::ElemSet::value_type const &x)

Constructor & Destructor Documentation

Gringo::Output::DisjunctionRule::~DisjunctionRule ( )

virtual

Member Function Documentation

DisjunctionRule * Gringo::Output::DisjunctionRule::clone ( ) const

virtual

Here is the call graph for this function:

bool Gringo::Output::DisjunctionRule::isIncomplete ( ) const

virtual

void Gringo::Output::DisjunctionRule::printElem	(	std::ostream &	out,
		DisjunctionState::ElemSet::value_type const &	x
	)

static

Here is the call graph for this function:

void Gringo::Output::DisjunctionRule::printLparse ( LparseOutputter & out ) const

virtual

void Gringo::Output::DisjunctionRule::printPlain ( std::ostream & out ) const

virtual

Here is the call graph for this function:

void Gringo::Output::DisjunctionRule::toLparse ( LparseTranslator & x )

virtual

Here is the call graph for this function:

ULitVec Gringo::Output::DisjunctionRule::body

DisjunctionState* Gringo::Output::DisjunctionRule::repr = nullptr

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

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