Svar is a set domain variable and Glb and Lub are the respective lower
bound and upper bound of its domain.
?Svar
A set domain variable.
?Glb
A free variable or a ground set.
?Lub
A free variable or a ground set.
Description
This predicate computes the lower bound Glb and the upper bound Lub of
the domain attached to the set variable Svar. If Glb and/or Lub are
ground, they should be equal to the respective bounds of the domain,
otherwise it fails.
Fail Conditions
Fails if Svar is not a set domain variable or if one of the terms glb,
Lub, can not be unified with the respective bounds of the domain of
Svar.
Resatisfiable
No.
Exceptions
(4) Instantiation fault
Var is not a domain variable.
Examples
[eclipse 7]: S `:: {} .. {1,2,3}, set_range(S, Glb, Lub).
S = S{{} .. {1, 2, 3}}
Glb = {}
Lub = {1, 2, 3}
yes.