Hello, I have one question related to the one I posted before (thank you for the fast reply :) ).
Could you tell me what is exactly the order in which the functions status and commit are called ? For me it should be call to status with space S. if it returns true, then copy S. let's call the copy Sc. Then call commit() with S and a=0. when we will have backtracked, commit will be called with Sc and a=1. I ask this question because I post a branching in the commit function of another branching. Then I catch the following exception: terminate called after throwing an instance of 'Gecode::SpaceNoBranching' what(): Space::commit: Attempt to commit with no branching I don't understand exactly the problem nor its solution. Could you bring me any help ? Thanks a lot, sebastien _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
