net.automatalib.util.minimizer

Class OneSEVPAMinimizer

java.lang.Object

net.automatalib.util.minimizer.OneSEVPAMinimizer

public final class OneSEVPAMinimizer
extends Object

A Paige/Tarjan partition refinement based minimizer for OneSEVPAs.

Author:

Malte Isberner

Method Summary

Modifier and Type	Method and Description
static <I> DefaultOneSEVPA<I>	minimize(OneSEVPA<?,I> sevpa, VPDAlphabet<I> alphabet)

Methods inherited from class java.lang.Object

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

Method Detail

minimize

public static <I> DefaultOneSEVPA<I> minimize(OneSEVPA<?,I> sevpa,
                                              VPDAlphabet<I> alphabet)