[gecode-users] order in calls to status and commit...

[Guido Tack]

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