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