Gringo::Input::AssignLevel Struct Reference

#include <aggregate.hh>

Collaboration diagram for Gringo::Input::AssignLevel:

Public Types
typedef std::unordered_map < FWString, unsigned >	BoundSet

Public Member Functions
void	add (VarTermBoundVec &vars)
AssignLevel &	subLevel ()
void	assignLevels ()
void	assignLevels (unsigned level, BoundSet const &bound)
virtual	~AssignLevel ()

Public Attributes
std::list< AssignLevel >	childs
std::unordered_map< FWString, std::vector< VarTerm * > >	occurr

Member Typedef Documentation

typedef std::unordered_map<FWString, unsigned> Gringo::Input::AssignLevel::BoundSet

Constructor & Destructor Documentation

Gringo::Input::AssignLevel::~AssignLevel ( )

virtual

Member Function Documentation

void Gringo::Input::AssignLevel::add

(

VarTermBoundVec &

vars

)

void Gringo::Input::AssignLevel::assignLevels

(

)

void Gringo::Input::AssignLevel::assignLevels	(	unsigned	level,
		BoundSet const &	bound
	)

AssignLevel & Gringo::Input::AssignLevel::subLevel

(

)

Member Data Documentation

std::list<AssignLevel> Gringo::Input::AssignLevel::childs

std::unordered_map<FWString, std::vector<VarTerm*> > Gringo::Input::AssignLevel::occurr

---

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