[ 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.