- Origin
Arithmetic constraint.
- Constraint
-
- Synonyms
,
,
.
- Arguments
| |
| |
| |
- Restrictions
-
- Purpose
Constraint the sum of the power of four of a set of domain variables.
More precisely, let denote the sum of the power of four 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 .
Extensible wrt. when .
Aggregate: , , .
- See also
common keyword:
,
,
,
,
Β (sum).
- Keywords
characteristic of a constraint:
sum.
constraint type:
predefined constraint,
arithmetic constraint.