[ library(ic_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