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: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Denys Duchier Sent: Wednesday, October 08, 2008 11:59 PM To: [EMAIL PROTECTED] Subject: Re: [gecode-users] staged search "Christian Schulte" <[EMAIL PROTECTED]> 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 [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
