Gringo::Output::Minimize Struct Reference

#include <statements.hh>

Inheritance diagram for Gringo::Output::Minimize:

Collaboration diagram for Gringo::Output::Minimize:

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 Minimize *	clone () const
virtual	~Minimize ()
Public Member Functions inherited from Gringo::Output::Statement
virtual	~Statement ()
Public Member Functions inherited from Gringo::Clonable< Statement >
virtual	~Clonable ()

Public Attributes
MinimizeList	elems

Constructor & Destructor Documentation

Gringo::Output::Minimize::~Minimize ( )

virtual

Member Function Documentation

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

virtual

Implements Gringo::Clonable< Statement >.

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

virtual

Implements Gringo::Output::Statement.

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

virtual

Implements Gringo::Output::Statement.

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

virtual

Implements Gringo::Output::Statement.

Here is the call graph for this function:

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

virtual

Implements Gringo::Output::Statement.

Here is the call graph for this function:

Member Data Documentation

MinimizeList Gringo::Output::Minimize::elems

---

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