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

[Stanimir Dragiev]

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