Inheritance diagram for Gringo::Output::LparseMinimize:

Collaboration diagram for Gringo::Output::LparseMinimize:

Public Member Functions
	LparseMinimize (Value prio, ULitWeightVec &&lits)

virtual void	toLparse (LparseTranslator &x)

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

virtual void	printLparse (LparseOutputter &out) const

virtual bool	isIncomplete () const

virtual LparseMinimize *	clone () const

virtual	~LparseMinimize ()

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

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

Constructor & Destructor Documentation

Gringo::Output::LparseMinimize::LparseMinimize	(	Value	prio,
		ULitWeightVec &&	lits
	)

Gringo::Output::LparseMinimize::~LparseMinimize ( )

virtual

Member Function Documentation

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

virtual

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

virtual

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

virtual

Here is the call graph for this function:

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

virtual

Here is the call graph for this function:

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

virtual

Here is the call graph for this function:

ULitWeightVec Gringo::Output::LparseMinimize::lits

Value Gringo::Output::LparseMinimize::prio

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