public final class MinimizationOperations extends Object
| Modifier and Type | Method and Description |
|---|---|
static void |
minimize(Automaton a)
Minimizes (and determinizes if not already deterministic) the given
automaton.
|
static void |
minimizeHopcroft(Automaton a)
Minimizes the given automaton using Hopcroft's algorithm.
|
public static void minimize(Automaton a)
Automaton.setMinimization(int)public static void minimizeHopcroft(Automaton a)
Copyright © 2000-2013 Apache Software Foundation. All Rights Reserved.