[ library(conjunto) | Reference Manual | Alphabetic Index ]
max_weight(?Svar, ?Var)
Svar is a weighted set domain variable whose maximal possible weight
attached to an element is Var.
- ?Svar
- A weighted set domain variable or a weighted set.
- ?Var
- Term unifying with a term of the form e(_,_).
Description
   If Svar is a weighted set domain variable, it returns the element of its
   domain which belongs to the set resulting from the difference of the
   upper bound and the lower bound and which has the greatest weight.  If
   Svar is a ground set, it just returns the element with the geratest
   weight.
Fail Conditions
   Fails if Svar is not a weighted set term, or if Var can not be unified
   with the extracted element.
Resatisfiable
   No.
Examples
[eclipse 4]: S `:: {e(a,10), e(b,15)} ..{e(a,10), e(b,15),
 e(c,20)},  max_weight(S,W).
S = S{{e(a, 10), e(b, 15)} .. {e(a, 10), e(b, 15), e(c, 20)}}
W = e(c, 20)
yes.
See Also
`:: / 2