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
This abstract class implements a tracer for fixpoint solvers which does nothing. May be sub-classed in order to override only the methods we are interested in.