Class WithState<T>

java.lang.Object
com.ibm.wala.demandpa.alg.WithState<T>
Direct Known Subclasses:
InstanceFieldKeyAndState, InstanceKeyAndState, PointerKeyAndState

public abstract class WithState<T> extends Object
Simple abstraction for pairing some type with a StateMachine.State.