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.