1 #ifndef __DIADES__ALTARICA_UNFOLDING__HH 2 #define __DIADES__ALTARICA_UNFOLDING__HH 69 bool encodeTransitions(
Node node,
const list<Formula> & invariant,list<EncodedTransition *> & transitions);
vector< pair< Formula, GNode > > nodeFormula
list< Formula > invariant
bool encodeInitialAssignments(Node node, Formula &initialisation)
bool encodeInvariant(Node node, list< Formula > &invariantFormula)
Diades::Graph::Node GNode
list< EncodedTransition * > transitions
NodeMap< Formula > formula
bool encodeTransitions(Node node, const list< Formula > &invariant, list< EncodedTransition *> &transitions)
Namespace of the Diades project.
bool encodeNode(Node node)
bool encodeInitialStates(Node node, const list< Formula > &invariant, Formula &initialisation, Formula &initialStates)
Namespace of the Graph library (libGraph)