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.
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.
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.
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.
the current assignment
the unknown which is evaluated
the result of the evaluation
This method is called when a fixpoint solver is started with the initial assignment.
This method is called when a fixpoint solver is started with the initial assignment.
the current assignment
A FixpointSolverTracer implements some methods which are called by solvers when certain events occurs. They may be used for debugging, tracing, etc...
the type of unknowns supported by this tracer
the type of values for unknowns supported by this tracer