Gringo::SafetyChecker< Var, Ent >::VarNode Struct Reference

#include <safetycheck.hh>

Collaboration diagram for Gringo::SafetyChecker< Var, Ent >::VarNode:

Public Member Functions
template<class... T>
	VarNode (T &&...args)

Public Attributes
bool	bound = false
std::vector< EntNode * >	provides
Var	data

Constructor & Destructor Documentation

template<class Var , class Ent >

template<class... T>

Gringo::SafetyChecker< Var, Ent >::VarNode::VarNode

(

T &&...

args

)

Member Data Documentation

template<class Var, class Ent>

bool Gringo::SafetyChecker< Var, Ent >::VarNode::bound = false

template<class Var, class Ent>

Var Gringo::SafetyChecker< Var, Ent >::VarNode::data

template<class Var, class Ent>

std::vector<EntNode*> Gringo::SafetyChecker< Var, Ent >::VarNode::provides

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/safetycheck.hh