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

package com.ibm.wala.demandpa.alg.statemachine

Related Packages

Package	Description
com.ibm.wala.demandpa.alg
com.ibm.wala.demandpa.alg.refinepolicy

Class	Description
DummyStateMachine<T>	A dummy state machine with a single, non-error state.
DummyStateMachine.Factory<T>
StateMachine<T>	A state machine with an error state.
StateMachine.State
StateMachineFactory<T>
StatesMergedException	Exception thrown when a state machine needs to merge states and treat them as equivalent.