getnext
| getnext | 
  Purpose
 
 
 Returns the value nearest to and greater than
 val in the domain of a variable passed in argument. This function is useful to enumerate the values of the domain of a variable from the lowest to the highest value; note that if 'val' is larger than the upper bound of the domain of x, the upper bound will be returned.
 
 
  Synopsis
 
 function getnext(x:cpvar,val:integer) : integer
 
  Arguments
 
 | 
     x 
     | 
     the decision variable
     | 
| 
     val 
     | 
     a value in the domain of the variable
     | 
  Return value
 
 
 The next value in the domain of x
 
  Example
 
 
 The following example shows how to enumerate in increasing order the values in the domain of a cpvar
 x
 
 curVal := getlb(x)
while (curVal < getub(x)) do
   curVal := getnext(x, curVal)
   writeln("curVal= ", curVal)
end-do
  Related topics
 
  
