On 8/23/07, Jérémie Vautard <[EMAIL PROTECTED]> wrote: > I have got a space containing integer and boolean variables. These > boolean variables are only auxiliary variables and are normally > assigned by propagation once the IntVars have been instanciated. > I would like to branch on the IntVars using the smallest domain first > heuristic, and only then on the boolean variables just in case > someone have not been instanciated for a reason...). > > Is it OK to write this in the constructor of my space : > ------------ > branch(this, An_Array_Containing_My_IntVars,BVAR_SIZE_MIN,BVAL_MIN); > branch(this,An_Array_Containing_My_BoolVars,,BVAR_SIZE_MIN,BVAL_MIN); > ------------ > ... to achieve this particular branching ?
Yes, you can install multiple branchings in a Space in this way. Cheers, Mikael -- Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/ _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
