Package net.automatalib.util.automaton.minimizer.paigetarjan
-
Class Summary Class Description PaigeTarjanMinimization A utility class that offers shorthand methods for minimizing automata using the partition refinement approach ofPaigeTarjan.
| Class | Description |
|---|---|
| PaigeTarjanMinimization |
A utility class that offers shorthand methods for minimizing automata using the partition refinement approach of
PaigeTarjan. |