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 IFlowFunctionA flow function corresponding to an edge in the supergraph. This function should be distributive for use with the Tabulation algorithm.