Hi, actually I am totally lost now: What do you really do? Is it that you solve a problem with search and there abs is not propagated? Or what?
Maybe you send us the code that exhibits the problem. Christian -- Christian Schulte, http://www.imit.kth.se/~schulte/ -----Original Message----- From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Stanimir Dragiev Sent: Wednesday, October 17, 2007 2:50 PM To: [EMAIL PROTECTED] Subject: Re: [gecode-users] gecode-users Digest, Vol 25, Issue 3 Hello again! > > Is it not expected, that both behave the same way? > > > did you trigger propagation? That is, did you invoke space->status() > so that the constraints are propagated? No I, don't triger propagation by myself. But I grepped the example directory for status: support.icc: if (s->status() != SS_FAILED) { support.icc: if (s->status() != SS_FAILED) { The Example's run method does. Since I use the Example framework, I hope this is enough, right? Most of examples don't invoke status on spaces too. When should it be invoked? cheers stanio -- /---------------------------------- / S|t|a|n|i|m|i|r| D|r|a|g|i|e|v | a|k|a| C|m|a|p|Y|o|p|c | [ i c q ] 2 2 2 0 4 0 6 9 8 | [EMAIL PROTECTED] _______________________________________________ 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
