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
