getval
| getval | 
  Purpose
 
 
 Retrieves the value of a reversible number at the current state of the constraint system.
 
 
  Synopsis
 
 function getval(k:cpreversible): real)
 
  Argument
 
 | 
     k 
     | 
     a reversible number.
     | 
  Return value
 
 
 The current value of the reversible.
 
  Example
 
 
 The following example saves the state of the constrain system, changes the value of the reversible
 rev, then restores the previous state of th constraint system and displays the restored value of the reversible number.
 
 set_reversible_attributes(rev, 20.54)
! Save current state of constraint system
cp_save_state
setval(rev, 5)
writeln("Value of the reversible is ", getval(rev))
! Restore the saved system state
cp_restore_state
writeln("After state restoration reversible is ", rev)
  Related topics
 
  
