Gringo::Input::Test::TestProgramBuilder Class Reference

Inheritance diagram for Gringo::Input::Test::TestProgramBuilder:

Collaboration diagram for Gringo::Input::Test::TestProgramBuilder:

Public Types
typedef std::initializer_list < char const * >	Lits
typedef std::initializer_list < int >	Terms
typedef std::initializer_list < std::pair< char const *, Lits > >	CondLits
typedef std::initializer_list < std::pair< Relation, int > >	Bounds
typedef std::initializer_list < std::pair< Terms, Lits > >	BodyAggrElems
typedef std::initializer_list < std::tuple< Terms, char const *, Lits > >	HeadAggrElems

Public Member Functions
	TestProgramBuilder ()
virtual void	setUp ()
virtual void	tearDown ()
LitUid	lit (const char *name)
LitVecUid	litvec (Lits names)
TermVecUid	termvec (Terms terms)
CondLitVecUid	condlitvec (CondLits names)
BdAggrElemVecUid	bdaggrelemvec (BodyAggrElems elems)
HdAggrElemVecUid	hdaggrelemvec (HeadAggrElems elems)
BoundVecUid	boundvec (Bounds bounds)
BdLitVecUid	bodyaggr (NAF naf, AggregateFunction fun, Bounds, CondLits)
BdLitVecUid	bodyaggr (NAF naf, AggregateFunction fun, Bounds, BodyAggrElems)
HdLitUid	headaggr (AggregateFunction fun, Bounds, CondLits)
HdLitUid	headaggr (AggregateFunction fun, Bounds, HeadAggrElems)
void	test_term ()
void	test_literal ()
void	test_bdaggr ()
void	test_hdaggr ()
void	test_rule ()
virtual	~TestProgramBuilder ()

Public Attributes
std::ostringstream	oss
Output::OutputBase	out
Location	l
Defines	defs
Program	prg
Scripts	scripts
NongroundProgramBuilder	p

Member Typedef Documentation

typedef std::initializer_list<std::pair<Terms, Lits> > Gringo::Input::Test::TestProgramBuilder::BodyAggrElems

typedef std::initializer_list<std::pair<Relation, int> > Gringo::Input::Test::TestProgramBuilder::Bounds

typedef std::initializer_list<std::pair<char const*, Lits> > Gringo::Input::Test::TestProgramBuilder::CondLits

typedef std::initializer_list<std::tuple<Terms, char const *, Lits> > Gringo::Input::Test::TestProgramBuilder::HeadAggrElems

typedef std::initializer_list<char const*> Gringo::Input::Test::TestProgramBuilder::Lits

typedef std::initializer_list<int> Gringo::Input::Test::TestProgramBuilder::Terms

Constructor & Destructor Documentation

Gringo::Input::Test::TestProgramBuilder::TestProgramBuilder

(

)

Gringo::Input::Test::TestProgramBuilder::~TestProgramBuilder ( )

virtual

Member Function Documentation

BdAggrElemVecUid Gringo::Input::Test::TestProgramBuilder::bdaggrelemvec

(

BodyAggrElems

elems

)

Here is the call graph for this function:

BdLitVecUid Gringo::Input::Test::TestProgramBuilder::bodyaggr	(	NAF	naf,
		AggregateFunction	fun,
		Bounds	bounds,
		CondLits	elems
	)

Here is the call graph for this function:

BdLitVecUid Gringo::Input::Test::TestProgramBuilder::bodyaggr	(	NAF	naf,
		AggregateFunction	fun,
		Bounds	bounds,
		BodyAggrElems	elems
	)

Here is the call graph for this function:

BoundVecUid Gringo::Input::Test::TestProgramBuilder::boundvec

(

Bounds

bounds

)

Here is the call graph for this function:

CondLitVecUid Gringo::Input::Test::TestProgramBuilder::condlitvec

(

CondLits

names

)

Here is the call graph for this function:

HdAggrElemVecUid Gringo::Input::Test::TestProgramBuilder::hdaggrelemvec

(

HeadAggrElems

elems

)

Here is the call graph for this function:

HdLitUid Gringo::Input::Test::TestProgramBuilder::headaggr	(	AggregateFunction	fun,
		Bounds	bounds,
		CondLits	elems
	)

Here is the call graph for this function:

HdLitUid Gringo::Input::Test::TestProgramBuilder::headaggr	(	AggregateFunction	fun,
		Bounds	bounds,
		HeadAggrElems	elems
	)

Here is the call graph for this function:

LitUid Gringo::Input::Test::TestProgramBuilder::lit

(

const char *

name

)

Here is the call graph for this function:

LitVecUid Gringo::Input::Test::TestProgramBuilder::litvec

(

Lits

names

)

Here is the call graph for this function:

void Gringo::Input::Test::TestProgramBuilder::setUp ( )

virtual

Here is the call graph for this function:

void Gringo::Input::Test::TestProgramBuilder::tearDown ( )

virtual

TermVecUid Gringo::Input::Test::TestProgramBuilder::termvec

(

Terms

terms

)

Here is the call graph for this function:

void Gringo::Input::Test::TestProgramBuilder::test_bdaggr

(

)

Here is the call graph for this function:

void Gringo::Input::Test::TestProgramBuilder::test_hdaggr

(

)

Here is the call graph for this function:

void Gringo::Input::Test::TestProgramBuilder::test_literal

(

)

Here is the call graph for this function:

void Gringo::Input::Test::TestProgramBuilder::test_rule

(

)

Here is the call graph for this function:

void Gringo::Input::Test::TestProgramBuilder::test_term

(

)

Here is the call graph for this function:

Member Data Documentation

Defines Gringo::Input::Test::TestProgramBuilder::defs

Location Gringo::Input::Test::TestProgramBuilder::l

std::ostringstream Gringo::Input::Test::TestProgramBuilder::oss

Output::OutputBase Gringo::Input::Test::TestProgramBuilder::out

NongroundProgramBuilder Gringo::Input::Test::TestProgramBuilder::p

Program Gringo::Input::Test::TestProgramBuilder::prg

Scripts Gringo::Input::Test::TestProgramBuilder::scripts

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/tests/input/programbuilder.cc