[ 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