public final class MinimizationOperations extends Object
| Modifier and Type | Method and Description |
|---|---|
static Automaton |
minimize(Automaton a,
int determinizeWorkLimit)
Minimizes (and determinizes if not already deterministic) the given
automaton using Hopcroft's algorithm.
|
public static Automaton minimize(Automaton a, int determinizeWorkLimit)
determinizeWorkLimit - maximum effort to spend determinizing the automaton. Set higher to
allow more complex queries and lower to prevent memory exhaustion. Use Operations.DEFAULT_DETERMINIZE_WORK_LIMIT as a decent default if you don't otherwise know
what to specify.Copyright © 2000-2024 Apache Software Foundation. All Rights Reserved.