Uses of Class
com.ibm.wala.demandpa.alg.InstanceKeyAndState

Packages that use InstanceKeyAndState

Package	Description
com.ibm.wala.demandpa.alg

Uses of InstanceKeyAndState in com.ibm.wala.demandpa.alg

Fields in com.ibm.wala.demandpa.alg with type parameters of type InstanceKeyAndState

Modifier and Type	Field and Description
protected com.ibm.wala.util.intset.OrdinalSetMapping<InstanceKeyAndState>	DemandRefinementPointsTo.PointsToComputer.ikAndStates for numbering InstanceKey, StateMachine.State pairs

Methods in com.ibm.wala.demandpa.alg that return types with arguments of type InstanceKeyAndState

Modifier and Type	Method and Description
Collection<InstanceKeyAndState>	DemandRefinementPointsTo.PointsToComputer.getComputedP2Set(PointerKeyAndState queried) get a points-to set that has already been computed via some previous call to DemandRefinementPointsTo.PointsToComputer.compute(); does _not_ do any fresh demand-driven computation.
Collection<InstanceKeyAndState>	DemandRefinementPointsTo.getPointsToWithStates(PointerKey pk)

Methods in com.ibm.wala.demandpa.alg with parameters of type InstanceKeyAndState

Modifier and Type	Method and Description
com.ibm.wala.util.collections.Pair<DemandRefinementPointsTo.PointsToResult,Collection<PointerKey>>	DemandRefinementPointsTo.getFlowsTo(InstanceKeyAndState ikAndState) get all the pointer keys that some instance key with state can flow to

Constructors in com.ibm.wala.demandpa.alg with parameters of type InstanceKeyAndState

Constructor and Description
DemandRefinementPointsTo.FlowsToComputer(InstanceKeyAndState ikAndState)