Package com.ibm.wala.fixpoint
package com.ibm.wala.fixpoint
-
ClassDescriptionAbstractOperator<T extends IVariable<T>>operator for a step in an iterative solverRepresents a single step in an iterative solverAbstractVariable<T extends AbstractVariable<T>>Represents a single variable in a fixed-point system.BasicUnaryStatement<T extends IVariable<T>>An implementation of UnaryStatement that carries its operator explicitlyA bit vector variable for dataflow analysis.A boolean variable for dataflow analysis.Constants used in the fixed-point solver frameworkIFixedPointSolver<T extends IVariable<T>>Solves a set of constraintsIFixedPointStatement<T extends IVariable<T>>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
IFixedPointStatement
is part of (x represents the left-hand side of the constraint).IFixedPointSystem<T extends IVariable<T>>Represents a set ofIFixedPointStatement
s to be solved by aIFixedPointSolver
IntSetVariable<T extends IntSetVariable<T>>A variable for dataflow analysis, representing a set of integers.Represents a single variable in a fixed-point iterative system.Operator U(n) = trueUnaryOperator<T extends IVariable<T>>An operator of the form lhs = op (rhs)Operator U(n) = U(n) | U(j)UnaryStatement<T extends IVariable<T>>Represents a single step, restricted to a unary operator.