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

?Sterm `= ?Sterm1

Sterm and Sterm1 are equal.
?Sterm
A ground set, a set domain variable or a set expression containing set operators (union \/, intersection /\, difference \).
?Sterm1
A ground set, a set domain variable or a set expression.

Description

This constraint states that the two set terms are equal. It is activated whenever the upper or the lower bound of a set domain variable is updated. When propagating set domain updates, the system reasons only over the upper and lower bound sets of values of the set domain and makes sure that these sets of values are consistent with those of other set domain variables.

If this constraint is not solved, this predicate delays until it can be completely solved.

Fail Conditions

Fails if the two set terms have a different set value.

Resatisfiable

No.

Examples

[eclipse 2]: S `:: {}.. {1,2,3}, [S1,S2] `:: {}..{3,4,5},
             S \/  S1 `= S2.

S = S{{} .. {3}}
S1 = S1{{} .. {3, 4, 5}}
S2 = S2{{} .. {3, 4, 5}}

Delayed goals:
        union_s(S{{} .. {3}}, S1{{} .. {3, 4, 5}},
S2{{} .. {3, 4, 5}})
yes.

See Also

`:: / 2