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

#include <safetycheck.hh>

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

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

Public Attributes
std::vector< VarNode * >	provides
unsigned	depends = 0
Ent	data

Constructor & Destructor Documentation

template<class Var , class Ent >

template<class... T>

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

(

T &&...

args

)

Member Data Documentation

template<class Var, class Ent>

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

template<class Var, class Ent>

unsigned Gringo::SafetyChecker< Var, Ent >::EntNode::depends = 0

template<class Var, class Ent>

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

---

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

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