Package com.ibm.wala.fixedpoint.impl

Class Summary

AbstractFixedPointSolver<T extends IVariable<?>>	Represents a set of IFixedPointStatements to be solved by a IFixedPointSolver
BasicNullaryStatement<T extends IVariable>	An implementation of NullaryStep that carries its operator explicitly
DefaultFixedPointSolver<T extends IVariable<?>>	Default implementation of a fixed point solver.
DefaultFixedPointSystem<T extends IVariable<?>>	Default implementation of a dataflow graph
GeneralStatement<T extends IVariable<?>>	Represents a single step in an iterative solver
NullaryOperator<T extends IVariable>	An operator of the form lhs = op
NullaryStatement<T extends IVariable>	Represents a single step, restricted to a nullary operator.
Worklist	Worklist for fixed-point solver implementation