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