| Package | Description |
|---|---|
| net.automatalib.util.minimizer |
| Class and Description |
|---|
| Block
A block in the partition calculated during minimization.
|
| BlockAutomaton
A "block automaton", i.e. an automaton-style representation of the
minimization result in which each block forms a state.
|
| BlockEdge
An edge in a
BlockAutomaton. |
| MinimizationResult
The result structure of a minimization process.
|
| Minimizer
Automaton minimizer.
|
Copyright © 2013. All Rights Reserved.