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 us
> 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, that does exactly
Hi !
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 t
