[ library(conjunto) | Reference Manual | Alphabetic Index ]

modify_bound(+Flag, ?Svar, +Var)

Flag is a flag which takes its value in fglb, lubg. It indicates the bound of the set domain variable Svar which should be updated and take the value Var which is ground.
+Flag
A ground value from fglb, lubg.
?Svar
A set domain variable.
+Var
A ground set.

Description

Flag is a flag which should take the value glb or lub, otherwise it fails. If Svar is a ground set, it succeeds if we have Var equals to Svar. If Svar is a set domain variable, its new lower or upper bound will be updated and take the value Var. For monotonicity reasons, set domains can only get reduced. So a new upper bound has to be contained in the old one and a new lower bound has to contain the old one. otherwise it fails.

Fail Conditions

Fails if Svar is ground and different from Var or if the new upper bound is not contained in the old one or the new lower bound does not contain the old one.

Resatisfiable

No.

Examples

[eclipse 9]: S `:: {1,2}..{1,2,3,4,6}, modify_bound(glb, S, {1,2,3}).

S = S{{1, 2, 3} .. {1, 2, 3, 4, 6}}
yes.



See Also

`:: / 2, glb / 2, lub / 2, set_range / 3