A FixpointSolverTracer implements some methods which are called by solvers when certain events occurs. They may be used for debugging, tracing, etc...
- Type parameters:
- U
the type of unknowns supported by this tracer
- V
the type of values for unknowns supported by this tracer
- Companion:
- object
Value members
Abstract methods
This is called when the ascending phase begins in a two phase solver.
This is called when the ascending phase begins in a two phase solver.
- Value parameters:
- rho
the assignment at the beginning of the ascending phase
This method is called when the final assignment has been computed.
This method is called when the final assignment has been computed.
- Value parameters:
- rho
the current assignment
This is called when the descending phase begins in a two phase solver.
This is called when the descending phase begins in a two phase solver.
- Value parameters:
- rho
the assignment at the beginning of the descending phase
This method is called when an unknown u is evaluated.
This method is called when an unknown u is evaluated.
- Value parameters:
- newval
the result of the evaluation
- rho
the current assignment
- u
the unknown which is evaluated