Gringo::Input::CheckLevel Struct Reference

#include <aggregate.hh>

Collaboration diagram for Gringo::Input::CheckLevel:

Classes
struct	Ent

Public Types
using	SC = SafetyChecker< VarTerm *, Ent >
using	VarMap = std::unordered_map< FWString, SC::VarNode * >

Public Member Functions
	CheckLevel (Location const &loc, Printable const &p)
	CheckLevel (CheckLevel &&)
SC::VarNode &	var (VarTerm &var)
bool	check ()
	~CheckLevel ()

Public Attributes
Location	loc
Printable const &	p
SC	dep
SC::EntNode *	current = 0
VarMap	vars

Member Typedef Documentation

using Gringo::Input::CheckLevel::SC = SafetyChecker<VarTerm*, Ent>

using Gringo::Input::CheckLevel::VarMap = std::unordered_map<FWString, SC::VarNode *>

Constructor & Destructor Documentation

Gringo::Input::CheckLevel::CheckLevel	(	Location const &	loc,
		Printable const &	p
	)

Gringo::Input::CheckLevel::CheckLevel ( CheckLevel &&  )

default

Gringo::Input::CheckLevel::~CheckLevel

(

)

Member Function Documentation

bool Gringo::Input::CheckLevel::check

(

)

Here is the call graph for this function:

CheckLevel::SC::VarNode & Gringo::Input::CheckLevel::var

(

VarTerm &

var

)

Here is the call graph for this function:

Member Data Documentation

SC::EntNode* Gringo::Input::CheckLevel::current = 0

SC Gringo::Input::CheckLevel::dep

Location Gringo::Input::CheckLevel::loc

Printable const& Gringo::Input::CheckLevel::p

VarMap Gringo::Input::CheckLevel::vars

---

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