Package com.ibm.wala.fixpoint

This package provides general utilities for fixed-point solvers.

See:
Description

Interface Summary

FixedPointConstants	Constants used in the fixed-point solver framework
IFixedPointSolver<T extends IVariable>	Solves a set of constraints
IFixedPointStatement<T extends IVariable>	The general form of a statement definition in an iterative solver is: x >= term, where term can be any complex expression whose free variables are among the IVariables of the constraint system this IFixedPointStatementis part of (x represents the left-hand side of the constraint).
IFixedPointSystem<T extends IVariable>	Represents a set of IFixedPointStatements to be solved by a IFixedPointSolver
IVariable<T extends IVariable>	Represents a single variable in a fixed-point iterative system.

Class Summary

BitVectorVariable	A BitVector variable for dataflow analysis.
BooleanVariable	A boolean variable for dataflow analysis.
IntSetVariable<T extends IntSetVariable>	A variable for dataflow analysis, representing a set of integers.
TrueOperator	Operator U(n) = true
UnaryOr	Operator U(n) = U(n) | U(j)

Package com.ibm.wala.fixpoint Description

This package provides general utilities for fixed-point solvers.