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
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
