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.