#include <program.hh>

Collaboration diagram for Gringo::Input::Program:

Public Types
using	ClassicalNegationList = unique_list< FWSignature >

Public Member Functions
	Program ()

	Program (Program &&x)

void	begin (Location const &loc, FWString name, IdVec &&params)

void	add (UStm &&stm)

void	addClassicalNegation (FWSignature x)

void	rewrite (Defines &defs)

bool	check ()

void	print (std::ostream &out) const

Ground::Program	toGround (PredDomMap &domains)

	~Program ()

Member Typedef Documentation

Constructor & Destructor Documentation

Gringo::Input::Program::Program ( )

Here is the call graph for this function:

Gringo::Input::Program::Program ( Program && x )

default

Gringo::Input::Program::~Program ( )

void Gringo::Input::Program::add ( UStm && stm )

void Gringo::Input::Program::addClassicalNegation ( FWSignature x )

Here is the call graph for this function:

void Gringo::Input::Program::begin	(	Location const &	loc,
		FWString	name,
		IdVec &&	params
	)

Here is the call graph for this function:

bool Gringo::Input::Program::check ( )

void Gringo::Input::Program::print ( std::ostream & out ) const

void Gringo::Input::Program::rewrite ( Defines & defs )

Here is the call graph for this function:

Ground::Program Gringo::Input::Program::toGround ( PredDomMap & domains )

Here is the call graph for this function:

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

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