Sébastien Mouthuy wrote:
I have one main branching, let's say BrSF. In the commit function of
BrSF, I sometimes post another branching, say BrCl.
I printed id's of these branching and it happens that an instance of
BrSF has the same id as BrCl. I'm not using recomputation: c_d = 1,
a_d
= 10000.
This is definitely a problem. The same id for different branchings
may only occur on different branches of the search tree, but not on
the same branch! Are the BrSF also created dynamically? Do you, by
any chance, create a branching in the commit-function you use for
branch-and-bound?
Anyway, I'm sure the problem with the ids is also the reason for the
original problem. Please try to find out why two different branchings
get the same id.
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
