Class FMinimizer

java.lang.Object
  FMinimizer

All Implemented Interfaces:

Minimizer

public class FMinimizer

extends java.lang.Object

implements Minimizer

Field Summary

static boolean

verbose

Constructor Summary

FMinimizer()

Method Summary

static boolean	equiv(IDFA a, int p, int q)
static int[]	fusion(IDFA a) Returns the smallest partition pi of states such that pi < t
static int[]	fusionRandom(IDFA a)
DFA	minimize(DFA a)
DFT	minimize(DFT a)
IDFA	minimize(IDFA a)

Methods inherited from class java.lang.Object

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

Field Detail

verbose

public static boolean verbose

Constructor Detail

FMinimizer

public FMinimizer()

Method Detail

minimize

public DFA minimize(DFA a)
             throws java.lang.Exception

Specified by:

minimize in interface Minimizer

Throws:

java.lang.Exception

minimize

public DFT minimize(DFT a)
             throws java.lang.Exception

Specified by:

minimize in interface Minimizer

Throws:

java.lang.Exception

minimize

public IDFA minimize(IDFA a)
              throws java.lang.Exception

Specified by:

minimize in interface Minimizer

Throws:

java.lang.Exception

fusion

public static int[] fusion(IDFA a)

Returns the smallest partition pi of states such that pi < t

fusionRandom

public static int[] fusionRandom(IDFA a)

equiv

public static boolean equiv(IDFA a,
                            int p,
                            int q)