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.
|
OneSEVPAMinimizer |
A Paige/Tarjan partition refinement based minimizer for
OneSEVPA s. |
Copyright © 2019. All rights reserved.