org.processmining.projectedrecallandprecision.helperclasses.automata.operations

Class Automaton2Minimise

java.lang.Object

org.processmining.projectedrecallandprecision.helperclasses.automata.operations.Automaton2Minimise

public class Automaton2Minimise
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Automaton2Minimise()

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Automaton2Minimise

public Automaton2Minimise()

Method Detail

minimise

public static void minimise(DFA automaton,
                            org.processmining.framework.plugin.ProMCanceller canceller)

Minimise the automaton with the Hopcroft algorithm

Parameters:

automaton -

canceller -

removeDeadStates

public static void removeDeadStates(DFA automaton)

Remove the states from which no accepting state can be reached.

Parameters:

automaton -