[Gecode] Recomputation + BAB

[Guido Tack]

Hi Christian!

I just had a look at the new search engines in gecode, and it seems you once 
more tried to get around implementing branch-and-bound with recomputation ;-)

But here's my real question: What do I need to provide batch recomputation 
through the Alice interface? Just the description() and commit(alt, desc) 
functions? Can I simply regard a description as a value of an abstract type?

Regards,

	Guido

-- 
Guido Tack
Programming Systems Lab
http://www.ps.uni-sb.de/~tack