[ library(gfd) | Reference Manual | Alphabetic Index ]
divmod(?X,?Y,?Q,?M)
Constrains Q to X // Y, and M to X mod Y.
- X
- An integer or domain variable
- Y
- An integer or domain variable
- Q
- An integer or domain variable
- M
- An integer or domain variable
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.