net.automatalib.util.minimizer
Classes
Block
BlockAutomaton
BlockEdge
BlockMap
MinimizationResult
Minimizer