cp_save_state
cp_save_state |
Purpose
Save a marker in the CP solver stack to enable restoration of the domains of decision variables at a later stage,
e.g., for performing infeasibility analysis.
Synopsis
procedure cp_save_state
Example
The following example shows how to save the state of a constraint system:
... ! definition of constraints
...
cp_save_state
if (not cp_propagate) then
cp_restore_state
writeln("Problem is infeasible")
cp_infeas_analysis
exit(0)
end-if
cp_restore_state
... ! problem solving
Related topics