Package com.ibm.wala.demandpa.alg.statemachine
package com.ibm.wala.demandpa.alg.statemachine
-
ClassDescriptionA dummy state machine with a single, non-error state.StateMachine<T>A state machine with an error state.Exception thrown when a state machine needs to merge states and treat them as equivalent.