Uses of Interface
com.ibm.wala.dataflow.IFDS.IReversibleFlowFunction

Packages that use IReversibleFlowFunction

Package	Description
com.ibm.wala.dataflow.IFDS	This package provides an RHS solver for IFDS problems.

Uses of IReversibleFlowFunction in com.ibm.wala.dataflow.IFDS

Classes in com.ibm.wala.dataflow.IFDS that implement IReversibleFlowFunction

Modifier and Type	Class and Description
class	IdentityFlowFunction A flow function where out == in
class	SingletonFlowFunction A flow function which has only the edge 0 -> dest
class	VectorGenFlowFunction A function which gens a vector of outgoing dataflow facts.
class	VectorKillFlowFunction A function which kills a vector of incoming dataflow facts

Methods in com.ibm.wala.dataflow.IFDS with parameters of type IReversibleFlowFunction

Modifier and Type	Method and Description
protected com.ibm.wala.util.intset.IntSet	TabulationSolver.computeInverseFlow(int d2, IReversibleFlowFunction f)