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