setelt
setelt |
Purpose
Sets the value of an element of an array of reversibles. 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 setelt(ra:cpreversiblearray, ind: integer, value:integer)
Arguments
|
ra
|
an array of reversibles,
|
|
ind
|
the index of an array element,
|
|
value
|
new value for the reversible.
|
Example
The following example saves the state of the constraint system, changes the value of an element the reversible array
reva, then restores the previous state of the constraint system and displays the restored value of the reversible number.
set_reversible_attributes(reva, 1, 10, 0)
! Save current state of constraint system
cp_save_state
setelt(reva, 4, -10)
writeln("The 4'th element of 'reva' is ", setelt(reva, 4))
! Revert to the saved system state
cp_restore_state
writeln("After state restoration reversible array is: ", reva)
Related topics