Class FMinimizer

java.lang.Object
  extended byFMinimizer
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)