Gringo::Input::NonGroundParser Class Reference

#include <nongroundparser.hh>

Inheritance diagram for Gringo::Input::NonGroundParser:

Collaboration diagram for Gringo::Input::NonGroundParser:

Public Member Functions
	NonGroundParser (INongroundProgramBuilder &pb)
void	parseError (Location const &loc, std::string const &token)
void	pushFile (std::string &&filename)
void	pushStream (std::string &&name, std::unique_ptr< std::istream >)
void	pushBlocks (ProgramVec &&blocks)
int	lex (void *pValue, Location &loc)
bool	parseDefine (std::string const &define)
bool	parse ()
bool	empty ()
void	include (unsigned sUid, Location const &loc, bool include)
INongroundProgramBuilder &	builder ()
BoundVecUid	boundvec (Relation ra, TermUid ta, Relation rb, TermUid tb)
unsigned	aggregate (AggregateFunction fun, unsigned choice, unsigned elems, BoundVecUid bounds)
HdLitUid	headaggregate (Location const &loc, unsigned hdaggr)
BdLitVecUid	bodyaggregate (BdLitVecUid body, Location const &loc, NAF naf, unsigned bdaggr)
	~NonGroundParser ()

Constructor & Destructor Documentation

Gringo::Input::NonGroundParser::NonGroundParser

(

INongroundProgramBuilder &

pb

)

Gringo::Input::NonGroundParser::~NonGroundParser

(

)

Member Function Documentation

unsigned Gringo::Input::NonGroundParser::aggregate	(	AggregateFunction	fun,
		unsigned	choice,
		unsigned	elems,
		BoundVecUid	bounds
	)

Here is the call graph for this function:

BdLitVecUid Gringo::Input::NonGroundParser::bodyaggregate	(	BdLitVecUid	body,
		Location const &	loc,
		NAF	naf,
		unsigned	bdaggr
	)

Here is the call graph for this function:

BoundVecUid Gringo::Input::NonGroundParser::boundvec	(	Relation	ra,
		TermUid	ta,
		Relation	rb,
		TermUid	tb
	)

Here is the call graph for this function:

INongroundProgramBuilder & Gringo::Input::NonGroundParser::builder

(

)

bool Gringo::Input::NonGroundParser::empty ( )

inline

Here is the call graph for this function:

HdLitUid Gringo::Input::NonGroundParser::headaggregate	(	Location const &	loc,
		unsigned	hdaggr
	)

Here is the call graph for this function:

void Gringo::Input::NonGroundParser::include	(	unsigned	sUid,
		Location const &	loc,
		bool	include
	)

int Gringo::Input::NonGroundParser::lex	(	void *	pValue,
		Location &	loc
	)

Here is the call graph for this function:

bool Gringo::Input::NonGroundParser::parse

(

)

Here is the call graph for this function:

bool Gringo::Input::NonGroundParser::parseDefine

(

std::string const &

define

)

Here is the call graph for this function:

void Gringo::Input::NonGroundParser::parseError	(	Location const &	loc,
		std::string const &	token
	)

void Gringo::Input::NonGroundParser::pushBlocks

(

ProgramVec &&

blocks

)

Here is the call graph for this function:

void Gringo::Input::NonGroundParser::pushFile

(

std::string &&

filename

)

void Gringo::Input::NonGroundParser::pushStream	(	std::string &&	name,
		std::unique_ptr< std::istream >	in
	)

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/input/nongroundparser.hh
• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/build/debug/libgringo/src/input/nongroundlexer.hh
• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/src/input/nongroundparser.cc