[gecode-users] staged search

[Christian Schulte]

That would more or less do the same I have been rambling on. However, it
would require a new feature while branchings would already do the trick
(more or less). For a user there should be no real visible difference.

Christian

-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Denys Duchier
Sent: Wednesday, October 08, 2008 11:59 PM
To: users at gecode.org
Subject: Re: [gecode-users] staged search

"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

_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users