A | |
| attr [Ltsa.Merge3] | |
| attr [Ltsa.Merge] | |
| attr [Ltsa.T] |
The type of state attributes
|
E | |
| env [Fsm_expr] | |
I | |
| ident [Fsm_expr] |
The type of identifiers occuring in expressions
|
| itransition [Lts.T] |
The type for initial transition.
|
| itransition [Ltsa.T] |
The type for initial transition.
|
L | |
| label [Lts.Merge3] | |
| label [Lts.Merge] | |
| label [Lts.T] |
The type of transition labels
|
| label [Ltsa.Merge3] | |
| label [Ltsa.Merge] | |
| label [Ltsa.T] |
The type of transition labels
|
N | |
| name [Valuation.T] |
The type of variable names
|
S | |
| state [Fsm.T] | |
| state [Moore.T] | |
| state [Mealy.T] | |
| state [Nfa.T] | |
| state [Lts.Merge3] | |
| state [Lts.Merge] | |
| state [Lts.T] |
The type of state identifiers
|
| state [Ltsa.Merge3] | |
| state [Ltsa.Merge] | |
| state [Ltsa.T] |
The type of state identifiers
|
| symbol [Nfa.T] | |
T | |
| t [Fsm.TRANSITION] | |
| t [Fsm.ACTION] | |
| t [Fsm.CONDITION] | |
| t [Fsm_expr] |
The type of expressions
|
| t [Mealy.TRANSITION] | |
| t [Valuation.T] |
The type of valuation.
|
| t [Lts.T] | |
| t [Ltsa.ATTR] | |
| t [Ltsa.T] |
The type of Labeled Transition Systems with state attributes
|
| transition [Lts.T] |
The type for transition.
|
| transition [Ltsa.T] |
The type for transition.
|
V | |
| value [Fsm_expr] |
The type of expression values
|
| value [Valuation.T] |
The type for variable values
|
| var_desc [Fsm.T] | |
| var_domain [Fsm.T] | |
| var_name [Fsm.T] |