DiaDes
0.1
DIAgnosisofDiscrete-EventSystem
|
#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 |
Definition at line 27 of file Unfolding.hh.
Definition at line 35 of file Unfolding.hh.
Diades::Graph::Graph Diades::Altarica::Encoding::fsm |
Definition at line 34 of file Unfolding.hh.
Formula Diades::Altarica::Encoding::initialisation |
Definition at line 32 of file Unfolding.hh.
Formula Diades::Altarica::Encoding::initialStates |
Definition at line 33 of file Unfolding.hh.
list<Formula> Diades::Altarica::Encoding::invariant |
Definition at line 30 of file Unfolding.hh.
Node Diades::Altarica::Encoding::node |
Definition at line 29 of file Unfolding.hh.
Definition at line 36 of file Unfolding.hh.
list<EncodedTransition *> Diades::Altarica::Encoding::transitions |
Definition at line 31 of file Unfolding.hh.