[gecode-users] multiplication constraint

[Mauricio Toro]

That was the problem.Thanks

2008/5/26 Christian Schulte <cschulte at kth.se>:

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



-- 
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/90968a3e/attachment.htm>