Class Hierarchy
- java.lang.Object
- com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<T> (implements com.ibm.wala.fixpoint.FixedPointConstants, com.ibm.wala.fixpoint.IFixedPointSolver<T>, com.ibm.wala.util.debug.VerboseAction)
- com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver<T>
- com.ibm.wala.dataflow.graph.DataflowSolver<T,V>
- com.ibm.wala.dataflow.graph.BitVectorSolver<T>
- com.ibm.wala.dataflow.graph.BooleanSolver<T>
- com.ibm.wala.dataflow.graph.DataflowSolver<T,V>
- com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver<T>
- com.ibm.wala.fixpoint.AbstractOperator<T> (implements com.ibm.wala.fixpoint.FixedPointConstants)
- com.ibm.wala.dataflow.graph.AbstractMeetOperator<T>
- com.ibm.wala.dataflow.graph.BitVectorIntersection (implements com.ibm.wala.fixpoint.FixedPointConstants)
- com.ibm.wala.dataflow.graph.BitVectorUnion (implements com.ibm.wala.fixpoint.FixedPointConstants)
- com.ibm.wala.dataflow.graph.BooleanUnion (implements com.ibm.wala.fixpoint.FixedPointConstants)
- com.ibm.wala.fixpoint.UnaryOperator<T> (implements com.ibm.wala.fixpoint.FixedPointConstants)
- com.ibm.wala.dataflow.graph.BitVectorFilter
- com.ibm.wala.dataflow.graph.BitVectorIdentity
- com.ibm.wala.dataflow.graph.BitVectorKillAll
- com.ibm.wala.dataflow.graph.BitVectorKillGen
- com.ibm.wala.dataflow.graph.BitVectorMinusVector
- com.ibm.wala.dataflow.graph.BitVectorOr
- com.ibm.wala.dataflow.graph.BitVectorUnionConstant
- com.ibm.wala.dataflow.graph.BitVectorUnionVector
- com.ibm.wala.dataflow.graph.BooleanIdentity
- com.ibm.wala.dataflow.graph.UnaryBitVectorUnion
- com.ibm.wala.dataflow.graph.AbstractMeetOperator<T>
- com.ibm.wala.dataflow.graph.BasicFramework<T,V> (implements com.ibm.wala.dataflow.graph.IKilldallFramework<T,V>)
- com.ibm.wala.dataflow.graph.BitVectorFramework<T,L>
- com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<T> (implements com.ibm.wala.fixpoint.FixedPointConstants, com.ibm.wala.fixpoint.IFixedPointSolver<T>, com.ibm.wala.util.debug.VerboseAction)
Interface Hierarchy
- com.ibm.wala.dataflow.graph.IKilldallFramework<T,V>
- com.ibm.wala.dataflow.graph.ITransferFunctionProvider<T,V>