uk.ac.man.cs.rainbow.wvmc
Class Examiner

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.wvmc.Examiner
All Implemented Interfaces:
Constants

public class Examiner
extends Object
implements Constants

Formula representation optimiser. I think...

The name of this class comes from the fact that its functionality used to be located in examine.c


Fields inherited from interface uk.ac.man.cs.rainbow.wvmc.Constants
A, AND, AU, AV, AX, BAD_LOOP, E, EU, EV, EX, Existential, Expand, False, GOOD_LOOP, LOOP_STATE, MAX_BUCHI_TABLE, MAX_TABLE, NEW_STATE, NO_MORE_SUCCS, NOT_LOOP, NUMOPS, OLD_STATE, opToName, OR, q_0, q_1, q_10, q_11, q_12, q_13, q_14, q_15, q_2, q_3, q_4, q_5, q_6, q_7, q_8, q_9, quantToName, True, U, Universal, V, X
 
Method Summary
static void examineFormula(Formula f, int maxfs)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

examineFormula

public static void examineFormula(Formula f,
                                  int maxfs)
                           throws WVMCException