#include <output.hh>

Collaboration diagram for Gringo::Output::StmHandler:

Public Member Functions
virtual void	operator() (Statement &x)=0

virtual void	operator() (PredicateDomain::element_type &head, ExternalType type)=0

virtual void	incremental ()

virtual void	finish (PredDomMap &domains, OutputPredicates &outPreds)=0

virtual void	atoms (int atomset, std::function< bool(unsigned)> const &isTrue, ValVec &atoms, PredDomMap const &domains, OutputPredicates const &outPreds)=0

virtual	~StmHandler ()

Constructor & Destructor Documentation

virtual Gringo::Output::StmHandler::~StmHandler ( )

inlinevirtual

Member Function Documentation

virtual void Gringo::Output::StmHandler::atoms	(	int	atomset,
		std::function< bool(unsigned)> const &	isTrue,
		ValVec &	atoms,
		PredDomMap const &	domains,
		OutputPredicates const &	outPreds
	)

pure virtual

virtual void Gringo::Output::StmHandler::finish	(	PredDomMap &	domains,
		OutputPredicates &	outPreds
	)

pure virtual

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

inlinevirtual

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

pure virtual

virtual void Gringo::Output::StmHandler::operator()	(	PredicateDomain::element_type &	head,
		ExternalType	type
	)

pure virtual

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

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