[gecode-users] Propagator

[Christian Schulte]

Yep, will be in the programming with Gecode.

Christian

--
Christian Schulte, www.ict.kth.se/~cschulte/


-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Filip Konvicka
Sent: Monday, May 25, 2009 6:13 PM
To: public-cschulte-UNjuZkX4dYU at hugh.gmane.org
Cc: 'Jan Kelbel'; public-users-2NGZVH8mcjgdnm+yROfE0A at 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
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users