public final class MinimizationOperations
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static void |
minimize(Automaton a,
org.processmining.framework.plugin.ProMCanceller canceller)
Minimizes (and determinizes if not already deterministic) the given
automaton.
|
static void |
minimizeBrzozowski(Automaton a,
org.processmining.framework.plugin.ProMCanceller canceller)
Minimizes the given automaton using Brzozowski's algorithm.
|
static void |
minimizeHopcroft(Automaton a,
org.processmining.framework.plugin.ProMCanceller canceller)
Minimizes the given automaton using Hopcroft's algorithm.
|
static void |
minimizeHuffman(Automaton a,
org.processmining.framework.plugin.ProMCanceller canceller)
Minimizes the given automaton using Huffman's algorithm.
|
public static void minimize(Automaton a, org.processmining.framework.plugin.ProMCanceller canceller)
canceller
- Automaton.setMinimization(int)
public static void minimizeHuffman(Automaton a, org.processmining.framework.plugin.ProMCanceller canceller)
canceller
- public static void minimizeBrzozowski(Automaton a, org.processmining.framework.plugin.ProMCanceller canceller)
canceller
- public static void minimizeHopcroft(Automaton a, org.processmining.framework.plugin.ProMCanceller canceller)
canceller
-