Gringo::Output::WeightRule Struct Reference

#include <statements.hh>

Inheritance diagram for Gringo::Output::WeightRule:

Collaboration diagram for Gringo::Output::WeightRule:

Public Types
using	ULitBoundVec = std::vector< std::pair< ULit, unsigned >>

Public Member Functions
	WeightRule (SAuxAtom head, unsigned lower, ULitBoundVec &&body)
virtual void	printPlain (std::ostream &out) const
virtual void	toLparse (LparseTranslator &x)
virtual void	printLparse (LparseOutputter &out) const
virtual WeightRule *	clone () const
virtual bool	isIncomplete () const
virtual	~WeightRule ()
Public Member Functions inherited from Gringo::Output::Statement
virtual	~Statement ()
Public Member Functions inherited from Gringo::Clonable< Statement >
virtual	~Clonable ()

Public Attributes
SAuxAtom	head
ULitBoundVec	body
unsigned	lower

Member Typedef Documentation

using Gringo::Output::WeightRule::ULitBoundVec = std::vector<std::pair<ULit, unsigned>>

Constructor & Destructor Documentation

Gringo::Output::WeightRule::WeightRule	(	SAuxAtom	head,
		unsigned	lower,
		ULitBoundVec &&	body
	)

Gringo::Output::WeightRule::~WeightRule ( )

virtual

Member Function Documentation

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

virtual

Implements Gringo::Clonable< Statement >.

Here is the call graph for this function:

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

virtual

Implements Gringo::Output::Statement.

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

virtual

Implements Gringo::Output::Statement.

Here is the call graph for this function:

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

virtual

Implements Gringo::Output::Statement.

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

virtual

Implements Gringo::Output::Statement.

Here is the call graph for this function:

Member Data Documentation

ULitBoundVec Gringo::Output::WeightRule::body

SAuxAtom Gringo::Output::WeightRule::head

unsigned Gringo::Output::WeightRule::lower

---

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