A | |
| ACTION [Fsm] | |
| ATTR [Ltsa] |
Signature of the module describing state attributes
|
C | |
| CONDITION [Fsm] | |
L | |
| LABEL [Lts] |
Signature of the module describing transition labels
|
| LABEL [Ltsa] |
Signature of the module describing transition labels
|
M | |
| Merge [Lts] |
Signature of the second argument for the
Lts.IProduct functor
|
| Merge [Ltsa] |
Signature of the second argument for the
Ltsa.IProduct functor
|
| Merge3 [Lts] |
Signature of the second argument for the
Lts.IProduct3 functor
|
| Merge3 [Ltsa] |
Signature of the second argument for the
Ltsa.IProduct3 functor
|
S | |
| STATE [Lts] |
Signature of the module describing state identifiers
|
| STATE [Ltsa] |
Signature of the module describing state identifiers
|
| SYMBOL [Nfa] | |
T | |
| T [Fsm] | |
| T [Moore] | |
| T [Mealy] | |
| T [Valuation] |
The output signature of the
Make functor
|
| T [Dfa] | |
| T [Nfa] | |
| T [Lts] |
Output signature of the functor
Lts.Make.
|
| T [Ltsa] |
Output signature of the functor
Ltsa.Make.
|
| TRANSITION [Fsm] | |
| TRANSITION [Mealy] | |
V | |
| VALUE [Valuation] |
Values must have an ordered type and must be stringable.
|