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

?Set in_set_range ++Lwb..++Upb

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

Description

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

Exceptions

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

See Also

intset / 3, intsets / 4