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 DeterministicFiniteAutomata.

Nfa

Type alias for NonDeterministicFiniteAutomata.