Package com.ibm.wala.dataflow.graph

Interface Summary

Interface	Description
IKilldallFramework<T,V extends IVariable<V>>	A dataflow framework in the style of Kildall, POPL 73 This represents a dataflow problem induced over a graph.
ITransferFunctionProvider<T,V extends IVariable<V>>	The DataflowSolver builds system over graphs, with dataflow transfer functions on the nodes, the edges or both.

Class Summary

Class	Description
AbstractMeetOperator<T extends IVariable<T>>	Abstract superclass for meet operators
BasicFramework<T,V extends IVariable<V>>	a basic implementation of the dataflow framework
BitVectorFilter	Operator OUT = IN - filterSet
BitVectorFramework<T,L>	a basic implementation of the dataflow framework
BitVectorIdentity	Operator OUT = IN
BitVectorIntersection	Operator U(n) = U(n) n U(j)
BitVectorKillAll	Just kills everything
BitVectorKillGen	Operator OUT = (IN - kill) U gen
BitVectorMinusVector	Operator OUT = IN / v
BitVectorOr	Operator OUT = IN U v
BitVectorSolver<T>	A DataflowSolver specialized for BitVectorVariables
BitVectorUnion	Operator U(n) = U(n) U U(j)
BitVectorUnionConstant	Operator OUT = IN U c
BitVectorUnionVector	Operator lhs = lhs U rhs U v
BooleanIdentity	Operator OUT = IN
BooleanSolver<T>	A DataflowSolver specialized for BooleanVariables
BooleanUnion	Operator U(n) = U(n) U U(j)
DataflowSolver<T,V extends IVariable<V>>	Iterative solver for a Killdall dataflow framework
UnaryBitVectorUnion	Operator U(n) = U(n) U U(j)