[gecode-users] If then type constraints

[Guido Tack]

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