com.ibm.wala.demandpa.alg.statemachine
Interfaces
StateMachine
StateMachine.State
StateMachineFactory
Classes
DummyStateMachine
DummyStateMachine.Factory
Exceptions
StatesMergedException