Package com.ibm.wala.dataflow.IFDS
Interface IFlowFunction
-
- All Known Subinterfaces:
IBinaryReturnFlowFunction
,IReversibleFlowFunction
,IUnaryFlowFunction
- All Known Implementing Classes:
IdentityFlowFunction
,KillEverything
,SingletonFlowFunction
,VectorGenFlowFunction
,VectorKillFlowFunction
public interface IFlowFunction
A flow function corresponding to an edge in the supergraph. This function should be distributive for use with the Tabulation algorithm.