[ library(ic) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# ?Vars $:: ++Domain

Constrain Vars to have the domain Domain.

Vars
  Variable or collection (a la collection_to_list/2) of variables
Domain
  Domain specification

## Description

Like ::/2, but does not perform any type analysis on the domain and does not enforce integrality on the variables even if the domain specified has integer bounds. Domain must be a contiguous interval.

## See Also

:: / 2, #:: / 2