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

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.wvmc.StateEngine

All Implemented Interfaces:

Constants

public class StateEngine

extends Object

implements Constants

Wrapper code to convert a sensible interface into the form required by the model checker.

Inner Class Summary

static class	StateEngine.CannotBacktrack Thrown to indicate that a backtrack is impossible.
static interface	StateEngine.Engine All state generators look like this.
static interface	StateEngine.Execed The result of an execute operation.
static interface	StateEngine.Looped When a loop is detected, extra information must be returned.
static class	StateEngine.Popped The data returned when an action happens that removes a state from the stack.
static interface	StateEngine.Repeated When an old state is detected, extra information must be returned.

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

Methods inherited from class java.lang.Object

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