Diades::Altarica::Encoding Struct Reference

#include <Unfolding.hh>

Public Attributes
Node	node
list< Formula >	invariant
list< EncodedTransition * >	transitions
Formula	initialisation
Formula	initialStates
Diades::Graph::Graph	fsm
NodeMap< Formula >	formula
vector< pair< Formula, GNode > >	nodeFormula

Detailed Description

Definition at line 27 of file Unfolding.hh.

Member Data Documentation

formula

NodeMap<Formula> Diades::Altarica::Encoding::formula

Definition at line 35 of file Unfolding.hh.

fsm

Diades::Graph::Graph Diades::Altarica::Encoding::fsm

Definition at line 34 of file Unfolding.hh.

initialisation

Formula Diades::Altarica::Encoding::initialisation

Definition at line 32 of file Unfolding.hh.

initialStates

Formula Diades::Altarica::Encoding::initialStates

Definition at line 33 of file Unfolding.hh.

invariant

list<Formula> Diades::Altarica::Encoding::invariant

Definition at line 30 of file Unfolding.hh.

node

Node Diades::Altarica::Encoding::node

Definition at line 29 of file Unfolding.hh.

nodeFormula

vector< pair<Formula,GNode> > Diades::Altarica::Encoding::nodeFormula

Definition at line 36 of file Unfolding.hh.

transitions

list<EncodedTransition *> Diades::Altarica::Encoding::transitions

Definition at line 31 of file Unfolding.hh.

---

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

• include/diades/altarica/Unfolding.hh