Package com.ibm.wala.demandpa.alg
Class InstanceKeyAndState
- java.lang.Object
-
- com.ibm.wala.demandpa.alg.WithState<InstanceKey>
-
- com.ibm.wala.demandpa.alg.InstanceKeyAndState
-
public class InstanceKeyAndState extends WithState<InstanceKey>
-
-
Constructor Summary
Constructors Constructor Description InstanceKeyAndState(InstanceKey ik, StateMachine.State state)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description InstanceKey
getInstanceKey()
-
-
-
Constructor Detail
-
InstanceKeyAndState
public InstanceKeyAndState(InstanceKey ik, StateMachine.State state)
-
-
Method Detail
-
getInstanceKey
public InstanceKey getInstanceKey()
-
-