See: Description
| Interface | Description |
|---|---|
| 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 |
| IVariable<T extends IVariable<T>> |
Represents a single variable in a fixed-point iterative system.
|
| 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.
|
| IntSetVariable<T extends IntSetVariable<T>> |
A variable for dataflow analysis, representing a set of integers.
|
| 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.
|