[gecode-users] multiplication constraint

[Christian Schulte]

Did you call status to compute the fixpoint?

 

Christian

 

--

Christian Schulte, www.ict.kth.se/~cschulte/

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Mauricio Toro
Sent: Sunday, May 25, 2008 10:52 PM
To: users at gecode.org
Subject: [gecode-users] multiplication constraint

 

Hello all,

 

I am running this program:

     IntVar a(this,1,10);

     IntVar b(this,2,20);

     IntVar c(this,0,30);

     mult(this,a,b,c);

     rel(this,a,IRT_EQ,5);

     rel(this,b,IRT_EQ,5);

     std::cout << "c " << c << "a " << a << " b " << b;

 

And I am getting this result: a= 5 b= 5 c = [1..30]

 

I was wondering why I do not get c = 25?

Is there a way to make to rewrite my program

to get that result?

 

Thanks


-- 
Mauricio Toro Bermudez
Estudiante de Ingeniería de Sistemas
Pontificia Universidad Javeriana, Colombia

Stagiare à l'Ircam
1, place Igor-Stravinsky 75004 Paris, 
France de 2008 à 2009 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20080526/fa884048/attachment.htm>