[ library(conjunto) | Reference Manual | Alphabetic Index ]
glb(?S, ?Glb)
S is a set domain variable and Glb is the lower bound of its domain.
- ?S
- A set domain variable.
- ?Glb
- A free variable or a ground set.
Description
   Glb is the ground set corresponding to the lower bound of the domain of
   S. If Glb is a free variable, it is instanciated to the lower bound of
   the domain of S. If it is a ground set, it should be equal to the lower
   bound of the domain of S, otherwise it fails.
Fail Conditions
   Fails if S is not a set domain variable or if Glb is a ground set not
   equal to the lower bound of S domain.
Resatisfiable
   No.
Examples
[eclipse 9]: S `:: {}.. {1,2,3,5}, glb(S,Glb).
S = S{{} .. {1, 2, 3}}
Glb = {}
yes.
See Also
`:: / 2, lub / 2, set_range / 3