joe.porter at gmail.com
Mon Apr 27 19:15:53 CEST 2009
> 1. It is really an equivalence: so what it actually says (your
> example slightly simplified) is (x != y+c) ó b=1. If b=0 it will assert x
> == y+c, and if b=1 it will assert x != y+c. I am not sure whether this
> answers your question.
That's exactly what I wanted -- to use the boolean variables to record which
constraints could not be satisfied.
> 2. Well depends on what you want to express, when you post xi == yi
> + c ó b=1 for the same b for all i it means that if b=0, it must hold for
> all i that xi != yi +c and likewise if b=1, it must hold for all i that xi
> = yi + c. If you want to have Boolean control variables that make a
> statement just for a particular i you have to create a new Boolean variable
> for each i.
So I guess that means that no one else has tried it ;-)
Thanks for all of your help,
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the gecode-users