
?Vars $:: ++Domain

   Constrain Vars to have the domain Domain.

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

Type
   library(ic)

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
