[ library(gfd) | Reference Manual | Alphabetic Index ]
# <ConsistencyModule:> divmod(?X,?Y,?Q,?M)

Constrains Q to X // Y, and M to X mod Y.
*X*
- An integer or (domain) variable (array notation accepted)
*Y*
- An integer or (domain) variable (array notation accepted)
*Q*
- An integer or (domain) variable (array notation accepted)
*M*
- An integer or (domain) variable (array notation accepted)

## Description

Constrains Q to be the integer quotient of X and Y (X // Y), and M to
be the modulus of X and Y (X mod Y). Q is rounded towards 0.
ConsistencyModule is the optional module specification to give the
consistency level for the propagation for this constraint:
gfd_bc for bounds consistency.