Sébastien Mouthuy wrote:
Could that be the problem ? Should B1 and B2 be two copies of a comman
instance of the branching ? I know descriptions and branchings use
id's.
could it be the problem ?
Hm, it shouldn't be the problem. If the branchings are always created
in the same order, the ids will be the same. Could you verify this?
Just print the id in the Branching constructor, and check that it's
the same no matter whether you use recomputation or not.
The one thing we do not support is creating a branching in a
propagator. This won't work because propagation order can be
different during recomputation, so the creation order of the
branchings would be different and the ids would not match.
Cheers,
Guido
--
Guido Tack
Programming Systems Lab, Saarland University, Germany
http://www.ps.uni-sb.de/~tack
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
