#include <aggregate.hh>

Collaboration diagram for Gringo::Input::ToGroundArg:

Public Member Functions
	ToGroundArg (unsigned &auxNames, PredDomMap &domains)

FWString	newId (bool increment=true)

UTermVec	getGlobal (VarTermBoundVec const &vars)

UTerm	newId (UTermVec &&global, Location const &loc, bool increment=true)

template<class T >
UTerm	newId (T const &x)

	~ToGroundArg ()

Constructor & Destructor Documentation

Gringo::Input::ToGroundArg::ToGroundArg	(	unsigned &	auxNames,
		PredDomMap &	domains
	)

Gringo::Input::ToGroundArg::~ToGroundArg ( )

Member Function Documentation

UTermVec Gringo::Input::ToGroundArg::getGlobal ( VarTermBoundVec const & vars )

FWString Gringo::Input::ToGroundArg::newId ( bool increment = true )

Here is the call graph for this function:

UTerm Gringo::Input::ToGroundArg::newId	(	UTermVec &&	global,
		Location const &	loc,
		bool	increment = `true`
	)

Here is the call graph for this function:

template<class T >

UTerm Gringo::Input::ToGroundArg::newId ( T const & x )

inline

Here is the call graph for this function:

unsigned& Gringo::Input::ToGroundArg::auxNames

PredDomMap& Gringo::Input::ToGroundArg::domains

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

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