Package com.ibm.wala.demandpa.alg.statemachine

Interface Summary

StateMachine<T>	A state machine with an error state.
StateMachine.State
StateMachineFactory<T>

Class Summary

DummyStateMachine<T>	A dummy state machine with a single, non-error state.
DummyStateMachine.Factory<T>

Exception Summary

StatesMergedException

Exception thrown when a state machine needs to merge states and treat them as equivalent.