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 © 2015. All Rights Reserved.