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-2014 Apache Software Foundation. All Rights Reserved.