Class | Description |
---|---|
AbstractFixedPointSolver<T extends IVariable<?>> |
Represents a set of
IFixedPointStatement s to be solved by a IFixedPointSolver |
BasicNullaryStatement<T extends IVariable> |
An implementation of NullaryStep that carries its operator explicitly
|
DefaultFixedPointSolver<T extends IVariable<?>> |
Default implementation of a fixed point solver.
|
DefaultFixedPointSystem<T extends IVariable<?>> |
Default implementation of a dataflow graph
|
GeneralStatement<T extends IVariable<?>> |
Represents a single step in an iterative solver
|
NullaryOperator<T extends IVariable> |
An operator of the form lhs = op
|
NullaryStatement<T extends IVariable> |
Represents a single step, restricted to a nullary
operator.
|
Worklist |
Worklist for fixed-point solver implementation
|