[ library(COLIBRI_DOC) | ]
Vars #: Range
Range definition for "integer" types: int, int(N) and uint(N) (where N is the size in bits).
- Vars : An "integer" variable or a list of "integer" variables.Range
- Integer, integer interval or a list of integers and integer intervals.
Description
Variables in Vars have the range Range.
Fail Conditions
Fails if some variable of Vars cannot have the range Range.
Resatisfiable
no
Examples
Success:
int_vars(int,X), X #: 1..10.
(gives X = _337{[1 .. 10]})
Fail:
int_vars(int,X), X #: 1..10, X #: -10 .. -1.
See Also
#= / 2, int_vars / 2