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>

Direct Known Subclasses:

GenReach

public class BitVectorFramework<T,L>
extends BasicFramework<T,BitVectorVariable>

a basic implementation of the dataflow framework

Constructor Summary

BitVectorFramework(Graph<T> flowGraph, ITransferFunctionProvider<T,BitVectorVariable> transferFunctionProvider, OrdinalSetMapping<L> latticeValues)

Method Summary

OrdinalSetMapping<L>

getLatticeValues()

Methods inherited from class com.ibm.wala.dataflow.graph.BasicFramework

getFlowGraph, getTransferFunctionProvider

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BitVectorFramework

public BitVectorFramework(Graph<T> flowGraph,
                          ITransferFunctionProvider<T,BitVectorVariable> transferFunctionProvider,
                          OrdinalSetMapping<L> latticeValues)

Method Detail

getLatticeValues

public OrdinalSetMapping<L> getLatticeValues()