Package com.ibm.wala.fixedpoint.impl
package com.ibm.wala.fixedpoint.impl
-
ClassDescriptionAbstractFixedPointSolver<T extends IVariable<T>>Represents a set of
IFixedPointStatement
s to be solved by aIFixedPointSolver
BasicNullaryStatement<T extends IVariable<T>>An implementation of NullaryStep that carries its operator explicitlyDefaultFixedPointSolver<T extends IVariable<T>>Default implementation of a fixed point solver.DefaultFixedPointSystem<T extends IVariable<T>>Default implementation of a dataflow graphGeneralStatement<T extends IVariable<T>>Represents a single step in an iterative solverNullaryOperator<T extends IVariable<T>>An operator of the form lhs = opNullaryStatement<T extends IVariable<T>>Represents a single step, restricted to a nullary operator.Worklist for fixed-point solver implementation