Package com.ibm.wala.fixpoint

@NullMarked package com.ibm.wala.fixpoint

This package provides general utilities for fixed-point solvers.

Class	Description
AbstractOperator<T extends IVariable<T>>	operator for a step in an iterative solver
AbstractStatement<T extends IVariable<T>, O extends AbstractOperator<T>>	Represents a single step in an iterative solver
AbstractVariable<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 explicitly
BitVectorVariable	A bit vector variable for dataflow analysis.
BooleanVariable	A boolean variable for dataflow analysis.
FixedPointConstants	Constants used in the fixed-point solver framework
IFixedPointSolver<T extends IVariable<T>>	Solves a set of constraints
IFixedPointStatement<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 IFixedPointStatementis part of (x represents the left-hand side of the constraint).
IFixedPointSystem<T extends IVariable<T>>	Represents a set of IFixedPointStatements to be solved by a IFixedPointSolver
IntSetVariable<T extends IntSetVariable<T>>	A variable for dataflow analysis, representing a set of integers.
IVariable<T extends IVariable<T>>	Represents a single variable in a fixed-point iterative system.
TrueOperator	Operator U(n) = true
UnaryOperator<T extends IVariable<T>>	An operator of the form lhs = op (rhs)
UnaryOr	Operator U(n) = U(n) | U(j)
UnaryStatement<T extends IVariable<T>>	Represents a single step, restricted to a unary operator.