Initializing help system before first use

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
cp_restore_state

Parent Topic Problem

© 2001-2024 Fair Isaac Corporation. All rights reserved. This documentation is the property of Fair Isaac Corporation (“FICO”). Receipt or possession of this documentation does not convey rights to disclose, reproduce, make derivative works, use, or allow others to use it except solely for internal evaluation purposes to determine whether to purchase a license to the software described in this documentation, or as otherwise set forth in a written software license agreement between you and FICO (or a FICO affiliate). Use of this documentation and the software described in it must conform strictly to the foregoing permitted uses, and no other use is permitted.