[gecode-users] Advisors versus propagation conditions

Chris Mears chris.mears at monash.edu
Wed Oct 6 06:52:51 CEST 2010

Hello all,

I am trying to use advisors to implement a propagator using advisors.
I have an array of views, with one advisor per view.  MPG says that
advisors are never executed when they are first subscribed, but only
when the view changes.

My problem is what happens if all of the variables are already
assigned at the time of posting the propagator.  Will the advisors
ever be executed?  It seems like they would not be, so
subsumption/failure never occurs.  Am I obliged to check for this
condition (everything being already assigned) and subscribe to the
views without advisors so that unadvised propagation occurs?


More information about the users mailing list