#include <statement.hh>

Collaboration diagram for Gringo::Output::LparseTranslator:

Public Member Functions
virtual void	addMinimize (MinimizeList &&x)=0

virtual void	addBounds (Value value, std::vector< CSPBound > bounds)=0

virtual void	addLinearConstraint (SAuxAtom head, CoefVarVec &&vars, int bound)=0

virtual void	addDisjointConstraint (SAuxAtom head, DisjointCons &&elem)=0

virtual unsigned	auxAtom ()=0

virtual void	translate ()=0

virtual void	outputSymbols (LparseOutputter &out, PredDomMap const &domains, OutputPredicates const &outPreds)=0

virtual void	operator() (Statement &x)=0

virtual bool	minimizeChanged () const =0

virtual	~LparseTranslator ()

Constructor & Destructor Documentation

virtual Gringo::Output::LparseTranslator::~LparseTranslator ( )

inlinevirtual

Member Function Documentation

virtual void Gringo::Output::LparseTranslator::addBounds	(	Value	value,
		std::vector< CSPBound >	bounds
	)

pure virtual

virtual void Gringo::Output::LparseTranslator::addDisjointConstraint	(	SAuxAtom	head,
		DisjointCons &&	elem
	)

pure virtual

virtual void Gringo::Output::LparseTranslator::addLinearConstraint	(	SAuxAtom	head,
		CoefVarVec &&	vars,
		int	bound
	)

pure virtual

virtual void Gringo::Output::LparseTranslator::addMinimize ( MinimizeList && x )

pure virtual

virtual unsigned Gringo::Output::LparseTranslator::auxAtom ( )

pure virtual

virtual bool Gringo::Output::LparseTranslator::minimizeChanged ( ) const

pure virtual

virtual void Gringo::Output::LparseTranslator::operator() ( Statement & x )

pure virtual

virtual void Gringo::Output::LparseTranslator::outputSymbols	(	LparseOutputter &	out,
		PredDomMap const &	domains,
		OutputPredicates const &	outPreds
	)

pure virtual

virtual void Gringo::Output::LparseTranslator::translate ( )

pure virtual

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

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