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