[Gecode] bug: bab-copy.cc : BAB search not traversing rightmostroot subtree.

Christian Schulte schulte at imit.kth.se
Mon Jun 13 19:46:27 CEST 2005


Hi Grégoire,

Thanks so much! You are of course absolutely right: this is a major bug...

Cheers
Christian

-----Original Message-----
From: gecode-bounces at ps.uni-sb.de [mailto:gecode-bounces at ps.uni-sb.de] On
Behalf Of Grégoire Dooms
Sent: Monday, June 13, 2005 6:02 PM
To: Technical discussions about Gecode
Subject: [Gecode] bug: bab-copy.cc : BAB search not traversing rightmostroot
subtree.


Hi,

I think I found a bug in BAB search: the righmost subtree of the root 
node is never traversed.
I attach a small code demonstrating the bug and a patch.
All the best,
--
Grégoire Dooms








More information about the gecode-users mailing list