#include <lparseoutputter.hh>

Inheritance diagram for Gringo::Output::LparseOutputter:

Collaboration diagram for Gringo::Output::LparseOutputter:

Public Types
using	AtomVec = std::vector< unsigned >

using	LitVec = std::vector< int >

using	LitWeightVec = std::vector< std::pair< int, unsigned >>

Public Member Functions
virtual unsigned	falseUid ()=0

virtual unsigned	newUid ()=0

virtual void	incremental ()

virtual void	printBasicRule (unsigned head, LitVec const &body)=0

virtual void	printChoiceRule (AtomVec const &atoms, LitVec const &body)=0

virtual void	printCardinalityRule (unsigned head, unsigned lower, LitVec const &body)=0

virtual void	printWeightRule (unsigned head, unsigned lower, LitWeightVec const &body)=0

virtual void	printMinimize (LitWeightVec const &body)=0

virtual void	printDisjunctiveRule (AtomVec const &atoms, LitVec const &body)=0

virtual void	finishRules ()=0

virtual void	printSymbol (unsigned atomUid, Value v)=0

virtual void	printExternal (unsigned atomUid, ExternalType type)=0

virtual void	finishSymbols ()=0

virtual bool &	disposeMinimize ()=0

virtual	~LparseOutputter ()

Member Typedef Documentation

using Gringo::Output::LparseOutputter::AtomVec = std::vector<unsigned>

using Gringo::Output::LparseOutputter::LitVec = std::vector<int>

using Gringo::Output::LparseOutputter::LitWeightVec = std::vector<std::pair<int, unsigned>>

Constructor & Destructor Documentation

virtual Gringo::Output::LparseOutputter::~LparseOutputter ( )

inlinevirtual

Member Function Documentation

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

pure virtual

Implemented in ClingoLpOutput, and Gringo::Output::PlainLparseOutputter.

virtual unsigned Gringo::Output::LparseOutputter::falseUid ( )

pure virtual

Implemented in ClingoLpOutput, and Gringo::Output::PlainLparseOutputter.

virtual void Gringo::Output::LparseOutputter::finishRules ( )

pure virtual

Implemented in ClingoLpOutput, and Gringo::Output::PlainLparseOutputter.

virtual void Gringo::Output::LparseOutputter::finishSymbols ( )

pure virtual

Implemented in ClingoLpOutput, and Gringo::Output::PlainLparseOutputter.

virtual void Gringo::Output::LparseOutputter::incremental ( )

inlinevirtual

Reimplemented in Gringo::Output::PlainLparseOutputter.

virtual unsigned Gringo::Output::LparseOutputter::newUid ( )

pure virtual

Implemented in ClingoLpOutput, and Gringo::Output::PlainLparseOutputter.

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

pure virtual

Implemented in ClingoLpOutput, and Gringo::Output::PlainLparseOutputter.

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

pure virtual

Implemented in ClingoLpOutput, and Gringo::Output::PlainLparseOutputter.

virtual void Gringo::Output::LparseOutputter::printChoiceRule	(	AtomVec const &	atoms,
		LitVec const &	body
	)

pure virtual

Implemented in ClingoLpOutput, and Gringo::Output::PlainLparseOutputter.

virtual void Gringo::Output::LparseOutputter::printDisjunctiveRule	(	AtomVec const &	atoms,
		LitVec const &	body
	)

pure virtual

Implemented in ClingoLpOutput, and Gringo::Output::PlainLparseOutputter.

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

pure virtual

Implemented in ClingoLpOutput, and Gringo::Output::PlainLparseOutputter.

virtual void Gringo::Output::LparseOutputter::printMinimize ( LitWeightVec const & body )

pure virtual

Implemented in ClingoLpOutput, and Gringo::Output::PlainLparseOutputter.

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

pure virtual

Implemented in ClingoLpOutput, and Gringo::Output::PlainLparseOutputter.

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

pure virtual

Implemented in ClingoLpOutput, and Gringo::Output::PlainLparseOutputter.

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

/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/output/lparseoutputter.hh

Public Types

Public Member Functions

Member Typedef Documentation

Constructor & Destructor Documentation

Member Function Documentation