public class Automaton2Minimise
extends java.lang.Object
Constructor and Description |
---|
Automaton2Minimise() |
Modifier and Type | Method and Description |
---|---|
static void |
minimise(DFA automaton,
org.processmining.framework.plugin.ProMCanceller canceller)
Minimise the automaton with the Hopcroft algorithm
|
static void |
removeDeadStates(DFA automaton)
Remove the states from which no accepting state can be reached.
|
public static void minimise(DFA automaton, org.processmining.framework.plugin.ProMCanceller canceller)
automaton
- canceller
- public static void removeDeadStates(DFA automaton)
automaton
-