- All Superinterfaces:
- IFlowFunction, IUnaryFlowFunction
- All Known Implementing Classes:
- IdentityFlowFunction, SingletonFlowFunction, VectorGenFlowFunction, VectorKillFlowFunction
public interface IReversibleFlowFunction
extends IUnaryFlowFunction
A flow function corresponding to an edge in the supergraph. A reversible flow-function supports a getSources operation that
allows computing backwards flow. At the very least, this is required in IFDS by call functions for which sources need to be found
to handle insertion of summary edges.