Class BitVectorFramework<T,L>
java.lang.Object
com.ibm.wala.dataflow.graph.BasicFramework<T,BitVectorVariable>
com.ibm.wala.dataflow.graph.BitVectorFramework<T,L>
- All Implemented Interfaces:
IKilldallFramework<T,
BitVectorVariable>
- Direct Known Subclasses:
GenReach
a basic implementation of the dataflow framework
-
Constructor Summary
ConstructorDescriptionBitVectorFramework
(Graph<T> flowGraph, ITransferFunctionProvider<T, BitVectorVariable> transferFunctionProvider, OrdinalSetMapping<L> latticeValues) -
Method Summary
Methods inherited from class com.ibm.wala.dataflow.graph.BasicFramework
getFlowGraph, getTransferFunctionProvider
-
Constructor Details
-
BitVectorFramework
public BitVectorFramework(Graph<T> flowGraph, ITransferFunctionProvider<T, BitVectorVariable> transferFunctionProvider, OrdinalSetMapping<L> latticeValues)
-
-
Method Details
-
getLatticeValues
-