[ library(ic_hybrid_sets) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
# ?Set :: ++Lwb..++Upb

Set is an integer set within the given bounds
*Set*
- A free variable, set variable 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 or list, or Lwb..Upb is not a ../2 structure

## See Also

intset / 3, intsets / 4