Lines Matching refs:weight
331 \label{weight-constraint}
332 \index{weight constraint}
337 Another constraint between sets and integers is the weight/3 constraint.
341 constrains the weight of the whole set:
345 weight(Container, Weights, W).
357 weight(Container, Weights, W),
368 (in terms of greatest weight) straight away:
373 weight(Container, Weights, W),
383 \item[\biptxtref{weight(?Set, ++ElementWeights, ?Weight)}{weight/3}{../bips/lib/ic_sets/weight-3.html}]
384 According to the array of element weights, the weight of set Set1 is Weight
395 Consider the knapsack problem in section~\ref{weight-constraint}.