Gringo::Ground::Program Struct Reference

#include <program.hh>

Collaboration diagram for Gringo::Ground::Program:

Public Types
using	ClassicalNegationVec = std::vector< std::tuple< PredicateDomain &, PredicateDomain & >>

Public Member Functions
	Program (SEdbVec &&edb, Statement::Dep::ComponentVec &&stms, ClassicalNegationVec &&negate)
void	linearize (Scripts &scripts)
void	ground (Parameters const &params, Scripts &scripts, Output::OutputBase &out, bool finalize=true)
void	ground (Scripts &scripts, Output::OutputBase &out)

Public Attributes
SEdbVec	edb
bool	linearized = false
Statement::Dep::ComponentVec	stms
ClassicalNegationVec	negate

Member Typedef Documentation

using Gringo::Ground::Program::ClassicalNegationVec = std::vector<std::tuple<PredicateDomain&, PredicateDomain&>>

Constructor & Destructor Documentation

Gringo::Ground::Program::Program	(	SEdbVec &&	edb,
		Statement::Dep::ComponentVec &&	stms,
		ClassicalNegationVec &&	negate
	)

Member Function Documentation

void Gringo::Ground::Program::ground	(	Parameters const &	params,
		Scripts &	scripts,
		Output::OutputBase &	out,
		bool	finalize = true
	)

Here is the call graph for this function:

void Gringo::Ground::Program::ground	(	Scripts &	scripts,
		Output::OutputBase &	out
	)

Here is the call graph for this function:

void Gringo::Ground::Program::linearize

(

Scripts &

scripts

)

Member Data Documentation

SEdbVec Gringo::Ground::Program::edb

bool Gringo::Ground::Program::linearized = false

ClassicalNegationVec Gringo::Ground::Program::negate

Statement::Dep::ComponentVec Gringo::Ground::Program::stms

---

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

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