Package com.ibm.wala.demandpa.alg
Class WithState<T>
java.lang.Object
com.ibm.wala.demandpa.alg.WithState<T>
- Direct Known Subclasses:
InstanceFieldKeyAndState
,InstanceKeyAndState
,PointerKeyAndState
Simple abstraction for pairing some type with a
StateMachine.State
.