dk.brics.automaton2

Class MinimizationOperations

java.lang.Object

dk.brics.automaton2.MinimizationOperations

public final class MinimizationOperations
extends java.lang.Object

Operations for minimizing automata.

Method Summary

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.

Methods inherited from class java.lang.Object

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

Method Detail

minimize

public static void minimize(Automaton a,
                            org.processmining.framework.plugin.ProMCanceller canceller)

Minimizes (and determinizes if not already deterministic) the given automaton.

Parameters:

canceller -

See Also:

Automaton.setMinimization(int)

minimizeHuffman

public static void minimizeHuffman(Automaton a,
                                   org.processmining.framework.plugin.ProMCanceller canceller)

Minimizes the given automaton using Huffman's algorithm.

Parameters:

canceller -

minimizeBrzozowski

public static void minimizeBrzozowski(Automaton a,
                                      org.processmining.framework.plugin.ProMCanceller canceller)

Minimizes the given automaton using Brzozowski's algorithm.

Parameters:

canceller -

minimizeHopcroft

public static void minimizeHopcroft(Automaton a,
                                    org.processmining.framework.plugin.ProMCanceller canceller)

Minimizes the given automaton using Hopcroft's algorithm.

Parameters:

canceller -