Package com.ibm.wala.dataflow.graph
Interface IKilldallFramework<T,V extends IVariable>
-
- Type Parameters:
T
- type of nodes in the graph
- All Known Implementing Classes:
BasicFramework
,BitVectorFramework
,GenReach
public interface IKilldallFramework<T,V extends IVariable>
A dataflow framework in the style of Kildall, POPL 73 This represents a dataflow problem induced over a graph.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description Graph<T>
getFlowGraph()
ITransferFunctionProvider<T,V>
getTransferFunctionProvider()
-
-
-
Method Detail
-
getTransferFunctionProvider
ITransferFunctionProvider<T,V> getTransferFunctionProvider()
- Returns:
- an object which provides the flow function for each node in the graph
-
-