Gringo::Output::OutputBase Struct Reference

#include <output.hh>

Collaboration diagram for Gringo::Output::OutputBase:

Public Member Functions
	OutputBase (OutputPredicates &&outPreds, std::ostream &out, bool lparse=false)
	OutputBase (OutputPredicates &&outPreds, LparseOutputter &out, LparseDebug debug=LparseDebug::NONE)
void	output (Value const &val)
void	incremental ()
void	external (PredicateDomain::element_type &head, ExternalType type)
void	output (UStm &&x)
void	output (Statement &x)
void	flush ()
void	finish ()
void	checkOutPreds ()
ValVec	atoms (int atomset, std::function< bool(unsigned)> const &isTrue) const
PredicateDomain::element_type *	find2 (Gringo::Value val)
AtomState const *	find (Gringo::Value val) const

Public Attributes
ValVec	tempVals
LitVec	tempLits
RuleRef	tempRule
PredDomMap	domains
UStmVec	stms
UStmHandler	handler
OutputPredicates	outPreds

Constructor & Destructor Documentation

Gringo::Output::OutputBase::OutputBase	(	OutputPredicates &&	outPreds,
		std::ostream &	out,
		bool	lparse = false
	)

Gringo::Output::OutputBase::OutputBase	(	OutputPredicates &&	outPreds,
		LparseOutputter &	out,
		LparseDebug	debug = LparseDebug::NONE
	)

Member Function Documentation

ValVec Gringo::Output::OutputBase::atoms	(	int	atomset,
		std::function< bool(unsigned)> const &	isTrue
	)		const

void Gringo::Output::OutputBase::checkOutPreds

(

)

void Gringo::Output::OutputBase::external	(	PredicateDomain::element_type &	head,
		ExternalType	type
	)

Gringo::AtomState const * Gringo::Output::OutputBase::find

(

Gringo::Value

val

)

const

Here is the call graph for this function:

PredicateDomain::element_type * Gringo::Output::OutputBase::find2

(

Gringo::Value

val

)

Here is the call graph for this function:

void Gringo::Output::OutputBase::finish

(

)

void Gringo::Output::OutputBase::flush

(

)

void Gringo::Output::OutputBase::incremental

(

)

void Gringo::Output::OutputBase::output

(

Value const &

val

)

Here is the call graph for this function:

void Gringo::Output::OutputBase::output

(

UStm &&

x

)

void Gringo::Output::OutputBase::output

(

Statement &

x

)

Here is the call graph for this function:

Member Data Documentation

PredDomMap Gringo::Output::OutputBase::domains

UStmHandler Gringo::Output::OutputBase::handler

OutputPredicates Gringo::Output::OutputBase::outPreds

UStmVec Gringo::Output::OutputBase::stms

LitVec Gringo::Output::OutputBase::tempLits

RuleRef Gringo::Output::OutputBase::tempRule

ValVec Gringo::Output::OutputBase::tempVals

---

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