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.