Package net.automatalib.util.minimizer

Class Summary

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 OneSEVPAs.