Package net.automatalib.util.automaton.minimizer.hopcroft

Class Summary

Class	Description
HopcroftMinimization	Versions of Hopcroft's minimization algorithm for deterministic finite automata.

Enum Summary

Enum	Description
HopcroftMinimization.PruningMode	Allows for controlling how automata are pruned during minimization.