Gringo::Output::PlainLparseOutputter Struct Reference

#include <output.hh>

Inheritance diagram for Gringo::Output::PlainLparseOutputter:

Collaboration diagram for Gringo::Output::PlainLparseOutputter:

Public Member Functions
	PlainLparseOutputter (std::ostream &out)
virtual void	incremental ()
virtual void	printBasicRule (unsigned head, LitVec const &body)
virtual void	printChoiceRule (AtomVec const &head, LitVec const &body)
virtual void	printCardinalityRule (unsigned head, unsigned lower, LitVec const &body)
virtual void	printWeightRule (unsigned head, unsigned lower, LitWeightVec const &body)
virtual void	printMinimize (LitWeightVec const &body)
virtual void	printDisjunctiveRule (AtomVec const &head, LitVec const &body)
virtual unsigned	falseUid ()
virtual unsigned	newUid ()
virtual void	finishRules ()
virtual void	printSymbol (unsigned atomUid, Value v)
virtual void	printExternal (unsigned atomUid, ExternalType type)
virtual void	finishSymbols ()
virtual bool &	disposeMinimize ()
virtual	~PlainLparseOutputter ()
Public Member Functions inherited from Gringo::Output::LparseOutputter
virtual	~LparseOutputter ()

Public Attributes
std::ostream &	out
unsigned	uids = 2
bool	disposeMinimize_ = true

Additional Inherited Members
Public Types inherited from Gringo::Output::LparseOutputter
using	AtomVec = std::vector< unsigned >
using	LitVec = std::vector< int >
using	LitWeightVec = std::vector< std::pair< int, unsigned >>

Constructor & Destructor Documentation

Gringo::Output::PlainLparseOutputter::PlainLparseOutputter

(

std::ostream &

out

)

Gringo::Output::PlainLparseOutputter::~PlainLparseOutputter ( )

virtual

Member Function Documentation

virtual bool& Gringo::Output::PlainLparseOutputter::disposeMinimize ( )

inlinevirtual

Implements Gringo::Output::LparseOutputter.

unsigned Gringo::Output::PlainLparseOutputter::falseUid ( )

virtual

Implements Gringo::Output::LparseOutputter.

void Gringo::Output::PlainLparseOutputter::finishRules ( )

virtual

Implements Gringo::Output::LparseOutputter.

void Gringo::Output::PlainLparseOutputter::finishSymbols ( )

virtual

Implements Gringo::Output::LparseOutputter.

Here is the call graph for this function:

void Gringo::Output::PlainLparseOutputter::incremental ( )

virtual

Reimplemented from Gringo::Output::LparseOutputter.

unsigned Gringo::Output::PlainLparseOutputter::newUid ( )

virtual

Implements Gringo::Output::LparseOutputter.

void Gringo::Output::PlainLparseOutputter::printBasicRule ( unsigned  head, LitVec const &  body  )

virtual

Implements Gringo::Output::LparseOutputter.

Here is the call graph for this function:

void Gringo::Output::PlainLparseOutputter::printCardinalityRule ( unsigned  head, unsigned  lower, LitVec const &  body  )

virtual

Implements Gringo::Output::LparseOutputter.

Here is the call graph for this function:

void Gringo::Output::PlainLparseOutputter::printChoiceRule ( AtomVec const &  head, LitVec const &  body  )

virtual

Implements Gringo::Output::LparseOutputter.

Here is the call graph for this function:

void Gringo::Output::PlainLparseOutputter::printDisjunctiveRule ( AtomVec const &  head, LitVec const &  body  )

virtual

Implements Gringo::Output::LparseOutputter.

Here is the call graph for this function:

void Gringo::Output::PlainLparseOutputter::printExternal ( unsigned  atomUid, ExternalType  type  )

virtual

Implements Gringo::Output::LparseOutputter.

void Gringo::Output::PlainLparseOutputter::printMinimize ( LitWeightVec const &  body )

virtual

Implements Gringo::Output::LparseOutputter.

Here is the call graph for this function:

void Gringo::Output::PlainLparseOutputter::printSymbol ( unsigned  atomUid, Value  v  )

virtual

Implements Gringo::Output::LparseOutputter.

void Gringo::Output::PlainLparseOutputter::printWeightRule ( unsigned  head, unsigned  lower, LitWeightVec const &  body  )

virtual

Implements Gringo::Output::LparseOutputter.

Here is the call graph for this function:

Member Data Documentation

bool Gringo::Output::PlainLparseOutputter::disposeMinimize_ = true

std::ostream& Gringo::Output::PlainLparseOutputter::out

unsigned Gringo::Output::PlainLparseOutputter::uids = 2

---

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

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