it.unich.scalafix.FixpointSolverTracer
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
Number of evaluations of r.h.s.
Number of evaluations of r.h.s. performed so far.
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 tracer which keeps track of performance measures.