[gecode-users] Value selection when branching

[Lars Otten]

On 02/09/06 18:49, Lars Otten wrote:
> Things worked out quite well. [...]
> And, lo and behold, now it seems to work!

Turns out it wasn't easy as it seemed:

For a start I forgot to adapt the description() method for my
ViewValRandBranching class, as it involves value selection as well.

But, more importantly, I just realized that the constructor for the
Branching class is usually only called once, upon invoking the
Gecode::branch(...) method in the example -- thus the seeds for the random
number generator are only fixed once and the same sequence of random numbers
is used over and over again -- which in effect seriously limits the randomness.

So I guess I'll have to revise it yet again... :-/

Have a nice weekend,
/Lars