Yep, will be in the programming with Gecode.
Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ -----Original Message----- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Filip Konvicka Sent: Monday, May 25, 2009 6:13 PM To: public-cschulte-unjuzkx4...@hugh.gmane.org Cc: 'Jan Kelbel'; public-users-2ngzvh8mcjgdnm+yrof...@hugh.gmane.org Subject: Re: [gecode-users] Propagator Christian Schulte (25.5.2009 16:31): > If no variables are modified by a propagator and the propagator says > ES_NOFIX, Gecode still knows that nothing has changed. So finding out > whether something has changed, and if yes reporting ES_NOFIX and ES_FIX > otherwise is exactly the same than reporting ES_NOFIX. This is a nice feature. Is this mentioned somewhere in the docs/tutorial? It should be, if it's not :-) Cheers, Filip _______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
