[ library(conjunto) | Reference Manual | Alphabetic Index ]
?Svar `:: +Domain
Terms in Svar have the set domain Domain.
- ?SVar
- A set variable or a list of set variables.
- +Domain
- Lattice specified by its upper and lower bound Glb..Lub such that Glb is a subset of Lub.
Description
The main purpose of this predicate is to create set domain variables.
Domain has to be a closed set interval specified as Glb..Lub. If SVar
is already a set domain variable, its set domain will be updated
according to the new domain; if it is instanciated, the predicate checks
is the set value lies in the domain. If the upper bound equals the
lower bound the set variable describes a ground set. Otherwise, if SVar
is a free variable, it is converted to a set domain variable. If SVar
is a list, this will be performed for all its elements. If Domain is
free, it fails.
Fail Conditions
Fails if Domain is free, or if SVar cannot have the domain Domain.
Resatisfiable
No.
Examples
[eclipse 3]: S `:: {}..{a,{2,3},c}.
S = S{{} .. {a, {2,3}, c}}
yes.
See Also
glb / 2, lub / 2, set_range / 3, set / 1