[gecode-users] branching priority

[Guido Tack]

Debdeep Banerjee wrote:
> I need to assign the variables in a particular order. I have three
> disjoint set of variable, say, S1, S2, S3. I need to tell the solver
> that first assign the variables from S1, then S2 and then S3. How  
> can i
> do it in Gecode/J ?
> What I did was using three different branching statements
> branch( this, S1, BVAR, BVAL)
> branch( this, S2, BVAR, BVAL)
> branch( this, S3, BVAR, BVAL)
>
> Is this the correct way of achieving above ?

Yes.  And you can easily verify this in Gist (you're using Gecode/J,  
right?).

Cheers,
	Guido