uk.ac.man.cs.rainbow.wvmc
Interface Constants

All Known Implementing Classes:
StateEngine, TemporalModel, Formula, Examiner, AutomataBuilder, Checker, SpecParse

public interface Constants

Assorted constants. If only we had enumerations instead...


Field Summary
static int A
           
static int AND
           
static int AU
           
static int AV
           
static int AX
           
static int BAD_LOOP
           
static int E
           
static int EU
           
static int EV
           
static int EX
           
static int Existential
           
static int Expand
           
static int False
           
static int GOOD_LOOP
           
static int LOOP_STATE
           
static int MAX_BUCHI_TABLE
           
static int MAX_TABLE
           
static int NEW_STATE
           
static int NO_MORE_SUCCS
           
static int NOT_LOOP
           
static int NUMOPS
           
static int OLD_STATE
           
static String[] opToName
          Map op values to their string form.
static int OR
           
static int q_0
           
static int q_1
           
static int q_10
           
static int q_11
           
static int q_12
           
static int q_13
           
static int q_14
           
static int q_15
           
static int q_2
           
static int q_3
           
static int q_4
           
static int q_5
           
static int q_6
           
static int q_7
           
static int q_8
           
static int q_9
           
static String[] quantToName
           
static int True
           
static int U
           
static int Universal
           
static int V
           
static int X
           
 

Field Detail

False

public static final int False

True

public static final int True

AX

public static final int AX

EX

public static final int EX

AND

public static final int AND

OR

public static final int OR

AU

public static final int AU

EU

public static final int EU

AV

public static final int AV

EV

public static final int EV

U

public static final int U

V

public static final int V

A

public static final int A

E

public static final int E

X

public static final int X

q_0

public static final int q_0

q_1

public static final int q_1

q_2

public static final int q_2

q_3

public static final int q_3

q_4

public static final int q_4

q_5

public static final int q_5

q_6

public static final int q_6

q_7

public static final int q_7

q_8

public static final int q_8

q_9

public static final int q_9

q_10

public static final int q_10

q_11

public static final int q_11

q_12

public static final int q_12

q_13

public static final int q_13

q_14

public static final int q_14

q_15

public static final int q_15

NUMOPS

public static final int NUMOPS

opToName

public static final String[] opToName
Map op values to their string form.

NO_MORE_SUCCS

public static final int NO_MORE_SUCCS

NEW_STATE

public static final int NEW_STATE

OLD_STATE

public static final int OLD_STATE

LOOP_STATE

public static final int LOOP_STATE

NOT_LOOP

public static final int NOT_LOOP

BAD_LOOP

public static final int BAD_LOOP

GOOD_LOOP

public static final int GOOD_LOOP

Expand

public static final int Expand

Universal

public static final int Universal

Existential

public static final int Existential

quantToName

public static final String[] quantToName

MAX_TABLE

public static final int MAX_TABLE

MAX_BUCHI_TABLE

public static final int MAX_BUCHI_TABLE