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

all_union(?Lsets, ?Svar)

Lsets is a list of set domain variables whose union is the set term Svar.
?Lsets
A list of set domain variables.
?Svar
A free variable or a set variable.

Description

Svar is the union of all the set variables appearing in Lsets. If Svar is a free variable, it becomes a set variable and its attached domain is defined from the union of the domains or known sets appearing in Lsets.

Fail Conditions

Fails if some elements of Lsets are not set variables and if Svar can not be the union of the Lsets elements.

Resatisfiable

No.

Examples

[eclipse 13]: S `:: {}.. {1,2,3,5}, S1 `:: {1} .. {1,2,3,4},
all_union([S, S1],{1,2,3,4,5}).

S = S{{5} .. {1, 2, 3, 5}}
S1 = S1{{1, 4} .. {1, 2, 3, 4}}

Delayed goals:
        ground_union(S{{5} .. {1, 2, 3, 5}},
S1{{1, 4} .. {1, 2, 3, 4}}, {1, 2, 3, 4, 5})
yes.

See Also

`:: / 2, `= / 2, `<> / 2, all_disjoint / 1