Package com.ibm.wala.dataflow.graph
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>
public class BitVectorFramework<T,L> extends BasicFramework<T,BitVectorVariable>
a basic implementation of the dataflow framework
-
-
Constructor Summary
Constructors Constructor Description BitVectorFramework(Graph<T> flowGraph, ITransferFunctionProvider<T,BitVectorVariable> transferFunctionProvider, OrdinalSetMapping<L> latticeValues)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description OrdinalSetMapping<L>
getLatticeValues()
-
Methods inherited from class com.ibm.wala.dataflow.graph.BasicFramework
getFlowGraph, getTransferFunctionProvider
-
-
-
-
Constructor Detail
-
BitVectorFramework
public BitVectorFramework(Graph<T> flowGraph, ITransferFunctionProvider<T,BitVectorVariable> transferFunctionProvider, OrdinalSetMapping<L> latticeValues)
-
-
Method Detail
-
getLatticeValues
public OrdinalSetMapping<L> getLatticeValues()
-
-