Crate typestate_automata[−][src]
Structs
| DeterministicFiniteAutomata | A representation for a deterministic finite automata. |
| NonDeterministicFiniteAutomata | A representation for non-deterministic finite automata. |
Type Definitions
| DFA | Type alias for DeterministicFiniteAutomata. |
| NFA | Type alias for NonDeterministicFiniteAutomata. |