| Ltsa |
Labeled Transition Systems with State Attributes
|
| Lts |
Labeled Transition Systems
|
| Nfa |
Non-deterministic Finite Automata (NFA)
|
| Dfa |
Deterministic Finite Automata (DFA)
|
| Valuation |
A
valuation is a collection of (name,value) associations
|
| Mealy |
Mealy machines.
|
| Moore |
Moore machines.
|
| Fsm_expr |
Simple (int) expressions for FSMs
|
| Fsm |
Finite State Machines.
|
| Conv |
Functors for converting various kinds of Labeled Transition Systems
|
| Builtins |
Pre-defined modules to be used as functor arguments
|