setval
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