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 an assignment is initialized with the start value.
This method is called when an assignment is initialized with the start value.
the current assignment
A FixpointSolverListener 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 listener
the type of values for unknowns supported by this listener