Initializing help system before first use

setval

Purpose
Sets the value of a reversible number. If this procedure is used during the CP search, the reversible will be restored to its previous value on backtracking beyond the state where this value has been set.
Synopsis
procedure setval(k:cpreversible, value:real)
Arguments
k 
a reversible number,
value 
instantiation value.
Example
The following example shows how to set the current value of a reversible rev to the integer value 10. 
setval(rev, 10)
Related topics
set_reversible_attributes getval

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.