[gecode-users] Propagator

[Filip Konvička]

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