[gecode-users] branching priority

[Debdeep Banerjee]

hi,
  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 ?

With regards
Debdeep