That was the problem.Thanks 2008/5/26 Christian Schulte <[EMAIL PROTECTED]>:
> Did you call status to compute the fixpoint? > > > > Christian > > > > -- > > Christian Schulte, www.ict.kth.se/~cschulte/ > > > > *From:* [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] *On > Behalf Of *Mauricio Toro > *Sent:* Sunday, May 25, 2008 10:52 PM > *To:* [EMAIL PROTECTED] > *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 > -- 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
_______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
