[gecode-users] access to Space during branching?

[Luis Quesada]

Christian Schulte wrote:

>Hmm, you are absolutely right: also branch should take a space argument.
>I'll do that right now on the trunk version.
>
>There is no other way to obtain a space...
>  
>
Please, let me see whether I am getting this right:  does this mean 
that, as all the information on which the labeling strategy is based is 
usually in the space, the only argument that needs to be passed to the 
constructor of the branching is the space?

What I have been doing so far is to pass this information through the 
constructor and copy this information in the branching constructor for 
cloning. But this would be no longer needed if the space is an argument 
of branch.

Luis