Package com.ibm.wala.fixedpoint.impl

Class Summary

AbstractFixedPointSolver	Represents a set of IFixedPointStatements to be solved by a IFixedPointSolver
AbstractOperator	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	Represents a single step in an iterative solver
AbstractVariable	Represents a single variable in a fixed-point system.
BasicNullaryStatement	An implementation of NullaryStep that carries its operator explicitly
BasicUnaryStatement	An implementation of UnaryStep that carries its operator explicitly
DefaultFixedPointSolver	Default implementation of a fixed point solver.
DefaultFixedPointSystem	Default implementation of a dataflow graph
GeneralStatement	Represents a single step in an iterative solver
NullaryOperator	An operator of the form lhs = op
NullaryStatement	Represents a single step, restricted to a nullary operator.
UnaryOperator	An operator of the form lhs = op (rhs)
UnaryStatement	Represents a single step, restricted to a unary operator.
Worklist	Worklist for fixed-point solver implementation