[ library(ic_hybrid_sets) | Reference Manual | Alphabetic Index ]

?Set :: ++Lwb..++Upb

Set is an integer set within the given bounds
A free variable, set variable or an integer list
Structure holding two lists of integers


Lwb and Upb are two lists of integers. Lwb must be a sublist of Upb. Set is unified with a set variable whose lower bound is the set of list elements of Lwb, and whose upper bound is the set of list elements of Upb.

Fail Conditions

Lwb is not a sublist of Upb


(5) type error
Set is not a variable or list, or Lwb..Upb is not a ../2 structure

See Also

in_set_range / 2, intset / 3, intsets / 4