See: Description
Interface | Description |
---|---|
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
IFixedPointStatement is part of (x represents the left-hand side of the
constraint). |
IFixedPointSystem<T extends IVariable> |
Represents a set of
IFixedPointStatement s to be solved by a IFixedPointSolver |
IVariable<T extends IVariable> |
Represents a single variable in a fixed-point iterative system.
|
Class | Description |
---|---|
AbstractOperator<T extends IVariable> |
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<T extends IVariable,O extends AbstractOperator<T>> |
Represents a single step in an iterative solver
|
AbstractVariable<T extends AbstractVariable> |
Represents a single variable in a fixed-point system.
|
BasicUnaryStatement<T extends IVariable> |
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> |
A variable for dataflow analysis, representing a set of integers.
|
TrueOperator |
Operator U(n) = true
|
UnaryOperator<T extends IVariable> |
An operator of the form lhs = op (rhs)
|
UnaryOr |
Operator U(n) = U(n) | U(j)
|
UnaryStatement<T extends IVariable> |
Represents a single step, restricted to a unary operator.
|