[gecode-users] ES_NOFIX and ES_FIX

[David Rijsman]

Like to give you a heads up on a mistake in the documentation (I
hope). The documentation of Propagator::advise says the following:

....

A propagator must specialize this advise function, if it uses
advisors. The advise function must return an execution status as
follows:

ES_FAILED: the advisor has detected failure
ES_NOFIX: the advisor's propagator (that is, this propagator) does not
need to be run
ES_FIX: the advisor's propagator (that is, this propagator) must be run

....

I think the ES_NOFIX and ES_FIX are mixed up, it should be

ES_NOFIX: the advisor's propagator (that is, this propagator) must be run
ES_FIX: the advisor's propagator (that is, this propagator) does not
need to be run

Can you confirm this?

David