Lines Matching refs:element
81 a set variable {\em S} where each element of {\em WD} is of the
175 The element {\em E} is an element of {\em S}. If {\em E} is ground it
184 The element {\em E} does not belong to {\em S}. If {\em E} is ground
287 \verb/renault/ is element of \verb/Choice/ and \verb/peugeot/ might be
381 labeling procedure refines a set domain by selecting the element of
410 contains at most one element. With a finite domain approach, the list of
481 labeled. This constraint states that two sets have at most one element
487 of the set is ground and some element has been added to the second
524 procedure backtracks and removes the last element added to the set
526 element to its lower bound. In the \verb/subset-sum/ example the
529 element to be added can be done without specific criterion like in the
550 element as a specific individual but in a collection of elements where
552 element values need to be avoided (eg. steiner problem). They are also
649 If {\em E} is element of a weighted domain, it returns the weight
655 If {\em Svar} is a set variable, it returns the element of its domain
658 Svar} is a ground set, it returns the element with the biggest weight.
811 predicate checks that any element of a ground set (which is a set
812 itself in this case) is a subset of at least one element of the second