Package com.ibm.wala.dataflow.IFDS
Interface IUnaryFlowFunction
-
- All Superinterfaces:
IFlowFunction
- All Known Subinterfaces:
IReversibleFlowFunction
- All Known Implementing Classes:
IdentityFlowFunction
,KillEverything
,SingletonFlowFunction
,VectorGenFlowFunction
,VectorKillFlowFunction
public interface IUnaryFlowFunction extends IFlowFunction
A flow function corresponding to an edge in the supergraph. This function should be distributive for use with the Tabulation algorithm.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description IntSet
getTargets(int d1)
-
-
-
Method Detail
-
getTargets
IntSet getTargets(int d1)
- Parameters:
d1
-- Returns:
- set of d2 such that (d1,d2) is an edge in this distributive function's graph representation, or null if there are none
-
-