Malcolm Ryan wrote:
> If I use reification like this, do I have to write my search code so
> that it instantiates all the booleans as well as all the 'normal'
> variables? Or can I rely on the fact that once all the 'normal'
> variables are instantiated all the booleans should also be
> instantiated.
If you can make sure that the values of the Booleans are determined by
the values of the integer variables, you can exclude them from the
branching. But note that this requires careful reasoning: if not all
the Booleans are determined automatically, the solver may not detect
failure!
Cheers,
Guido
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
