| Class | Description |
|---|---|
| Block<S,L> |
A block in the partition calculated during minimization.
|
| BlockAutomaton<S,L> |
A "block automaton", i.e. an automaton-style representation of the
minimization result in which each block forms a state.
|
| BlockEdge<S,L> |
An edge in a
BlockAutomaton. |
| BlockMap<V> |
Class for associating arbitrary values with the blocks of a minimization
result.
|
| MinimizationResult<S,L> |
The result structure of a minimization process.
|
| Minimizer<S,L> |
Automaton minimizer.
|
Copyright © 2013. All Rights Reserved.