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...
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