[ 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