com.ibm.wala.dataflow.IFDS
Interface IFlowFunction

All Known Subinterfaces:

IBinaryReturnFlowFunction, IReversibleFlowFunction, IUnaryFlowFunction

All Known Implementing Classes:

IdentityFlowFunction, SingletonFlowFunction, UniversalKillFlowFunction, 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.