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

Interface Summary

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

Class Summary

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

Exception Summary

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