Inheritance diagram for Gringo::Output::Rule:

Collaboration diagram for Gringo::Output::Rule:

Public Member Functions
	Rule ()

	Rule (PredicateDomain::element_type *head, ULitVec &&body)

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

virtual void	toLparse (LparseTranslator &x)

virtual void	printLparse (LparseOutputter &out) const

virtual Rule *	clone () const

virtual bool	isIncomplete () const

virtual	~Rule ()

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

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

Public Attributes
PredicateDomain::element_type *	head = nullptr

ULitVec	body

Constructor & Destructor Documentation

Gringo::Output::Rule::Rule ( )

Gringo::Output::Rule::Rule	(	PredicateDomain::element_type *	head,
		ULitVec &&	body
	)

Gringo::Output::Rule::~Rule ( )

virtual

Member Function Documentation

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

virtual

Here is the call graph for this function:

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

virtual

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

virtual

Here is the call graph for this function:

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

virtual

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

virtual

Here is the call graph for this function:

ULitVec Gringo::Output::Rule::body

PredicateDomain::element_type* Gringo::Output::Rule::head = 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