"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