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

[Grégoire Dooms]

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



-------------- next part --------------
A non-text attachment was scrubbed...
Name: test_BAB.cc
Type: text/x-c++src
Size: 1274 bytes
Desc: not available
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20050613/b0927437/attachment.cc>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: bug_bab.patch
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20050613/b0927437/attachment.txt>