Description:
Defines a Screamer variable, in the interval [low high].
Without constraints, an-integer-between enumerates all the integers between low and high.
Inputs :
low : integer, minimum of the possible values for the variable
high : integer, maximum of the possible values for the variable
Output:
an integer between low and high. The value depends on the backtracking caused by the constraints
|