|
| Data.FsmActions.WellFormed |
|
|
| Description |
| Well-formedness checks for finite state machines.
|
|
| Synopsis |
|
|
|
| Documentation |
|
|
| An FSM is well-formed if all its actions are the same length,
none of its actions contain destinations which are out of range,
and it is not disjoint.
| | Constructors | | BadLengths [(sy, Int)] | Lengths of Actions in the FSM don't all match. Carries a
sorted list of (symbol, Action length) pairs, one for every
symbol in the alphabet of the FSM.
| | BadActions [(sy, Action)] | Some Actions contain out-of-range (negative or too-high)
destinations. Carries a sorted list of all such actions and
their corresponding symbols.
| | Disconnected [[State]] | The FSM is disconnected, i.e. not even weakly-connected.
Carries a list of its weakly-connected components (each is a
list of States).
| | WellFormed | Well-formed.
|
|  Instances | |
|
|
|
| Check if an FSM is well-formed or not.
|
|
| Produced by Haddock version 2.4.2 |
