Package com.ibm.wala.fixedpoint.impl

Class Summary

AbstractFixedPointSolver<T extends IVariable>	Represents a set of IFixedPointStatements to be solved by a IFixedPointSolver
AbstractOperator<T extends IVariable>	operator for a step in an iterative solver This is an abstract class and not an interface in order to force subclasses to re-implement equals(), hashCode(), and toString()
AbstractStatement<T extends IVariable,O extends AbstractOperator<T>>	Represents a single step in an iterative solver
AbstractVariable<T extends AbstractVariable>	Represents a single variable in a fixed-point system.
BasicNullaryStatement<T extends IVariable>	An implementation of NullaryStep that carries its operator explicitly
BasicUnaryStatement<T extends IVariable>	An implementation of UnaryStep 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.
UnaryOperator<T extends IVariable>	An operator of the form lhs = op (rhs)
UnaryStatement<T extends IVariable>	Represents a single step, restricted to a unary operator.
Worklist	Worklist for fixed-point solver implementation