2.6.10. Implies
If constraint holds and if all restrictions of constraint hold
then constraint also holds.
Note that we also consider all the implications depicted in the implication
graphs mentioned in the tables associated with the normalised signature tree
of global constraints arguments. For an example of such table see
TableΒ 3.5.1.
EXAMPLE:
As an example, constraint
implies constraint .
Note that the case of an constraint with a single variable
does not imply a constraint since its restriction
(i.e., the number of variables of a constraint should be strictly greater than one)
does not hold.