Re: [eclipse-clp-users] mod operation in constraints

From: Marco Gavanelli <marco.gavanelli_at_unife.it>
Date: Mon, 30 May 2011 13:51:43 +0200
On 30/05/11 13:17, Sergey Dymchenko wrote:
> Hi!
>
> There is mod built-in in ECLiPSe, but according to
> http://eclipseclp.org/doc/bips/lib/ic/index.html it's impossible to
> use it in constraints.
> And I don't see a way to construct mod with arithmetic expression that
> can be used inside the constraints.
> Any suggestions?

You could use the definition of modulus.
By definition of integer division, A mod B is the number X such that

	X + Y*B = A

and such that X is between 0 and B-1 (for some integer Y, usually called 
"quotient").

Cheers,
Marco

-- 
Marco Gavanelli, Ph.D. in Computer Science
Dept of Engineering
University of Ferrara
Tel/Fax  +39-0532-97-4833
http://www.ing.unife.it/docenti/MarcoGavanelli/
Received on Mon May 30 2011 - 11:51:51 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET