- Origin
Arithmetic constraint.
- Constraint
-
- Synonyms
,
,
.
- Arguments
| |
| |
| |
- Restrictions
-
- Purpose
Constraint the sum of the power of five of a set of domain variables.
More precisely, let denote the sum of the power of five of the
variables of the collection (when
the collection is empty the corresponding sum is
equal to 0). Enforce the following constraint to
hold: .
- Example
-
The constraint holds since
the condition is satisfied.
- Typical
|
|
|
- Symmetry
Items of are permutable.
- Arg. properties
Contractible wrt. when and .
Contractible wrt. when and .
Extensible wrt. when and .
Extensible wrt. when and .
Aggregate: , , .
- See also
common keyword:
,
,
,
,
Β (sum).
- Keywords
characteristic of a constraint:
sum.
constraint type:
predefined constraint,
arithmetic constraint.