[ 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