Filip Konvička wrote:
> one thing that keeps me occupied: when a branching or propagator is
> cloned, the space instance it is passed is just partially constructed.
> This makes it difficult to make references to any data inside the
> space
> (which is simply not there yet in e.g. Branching::copy). Is there no
> other way? I understand that the branching/propagator cloning takes
> place in Space copy ctor, but it would be far more convenient for
> me to
> get a fully-constructed space in Branching::copy. (For example, I'm
> unable to construct some non-trivial references to space's data in my
> branching, as this initialization can't be moved out of the
> constructor.)
That's just not possible in the current architecture. If I
understand you correctly, you need to make sure that some object is
cloned before all actors (propagators & branchings) are. That way,
you can be sure that that object is initialized when your
Branching::copy is called. I have something like that in a private
branch, I'll dig a bit and let you know.
Cheers,
Guido
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users