[gecode-users] gecode-users Digest, Vol 25, Issue 3

[Christian Schulte]

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: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Stanimir Dragiev
Sent: Wednesday, October 17, 2007 2:50 PM
To: users at gecode.org
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
|  [jabber]CmapYopc at users.jabber.org

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