Class DummyStateMachine<T>

java.lang.Object
com.ibm.wala.demandpa.alg.statemachine.DummyStateMachine<T>
All Implemented Interfaces:
StateMachine<T>

public class DummyStateMachine<T> extends Object implements StateMachine<T>
A dummy state machine with a single, non-error state. Primarily for testing purposes.
Author:
Manu Sridharan