[gecode-users] staged search

[Denys Duchier]

"Christian Schulte" <cschulte at kth.se> writes:

> What should work in principle (that might be an idea to have in Gecode 3.0):
> One has a branching that has a single choice point with a single
> alternative. The single alternative executes a method of the space

hmm... currently, the branching is specified in the script's
constructor.  would it make sense to conservatively extend this
interface with an additional e.g. "continuation()" method that would be
called when the space reaches a state where it no longer has an active
"branching".  The "continuation()" might install new variables,
constraints, and a branching.  The search would bottom out when no new
branching has been installed.  The default inmplementation of
"continuation()" would do nothing and thus bottom out.

Is this a completely ridiculous idea?

Cheers,

--Denys