Crate typestate_automata[−][src]
Structs
DeterministicFiniteAutomata | A representation for a deterministic finite automata. |
NonDeterministicFiniteAutomata | A representation for non-deterministic finite automata. |
Traits
TryWriteFile | Write to file operation. |
Type Definitions
Dfa | Type alias for |
Nfa | Type alias for |