com.ibm.wala.dataflow.IFDS

Interface IUnaryFlowFunction

All Superinterfaces:

IFlowFunction

All Known Subinterfaces:

IReversibleFlowFunction

All Known Implementing Classes:

IdentityFlowFunction, KillEverything, SingletonFlowFunction, VectorGenFlowFunction, VectorKillFlowFunction

public interface IUnaryFlowFunction
extends IFlowFunction

A flow function corresponding to an edge in the supergraph. This function should be distributive for use with the Tabulation algorithm.

Method Summary

Methods

Modifier and Type	Method and Description
com.ibm.wala.util.intset.IntSet	getTargets(int d1)

Method Detail

getTargets

com.ibm.wala.util.intset.IntSet getTargets(int d1)

Parameters:

d1 -

Returns:

set of d2 such that (d1,d2) is an edge in this distributive function's graph representation, or null if there are none