Hi All, I have a few questions regarding the structure of advisor in the GeCode system ask for your advices.
1. I see that a propagator maintains a list of advisors and each advisor monitors one of the variables that the propagator subscribes. I am wondering whether it is certain that every variable of a propagator will be monitored by one and only one advisor respectively in current propagator (from variable's perspective, it is possible to have multiple advisors, since a variable could be subscribed by more than one propagator) ? and every propagator in a space should have a list of advisors for its variables? 2. I see that the constraint propagation is conducted through executing propagators scheduled in a queue. But, when I attempt to access the list of advisors of a executing propagator (by p -> u.advisors, which should return the pointer to the head of the advisor list of the propagator), I get a NULL pointer. I am wondering what's is the reason for not being able to access the advisors of a propagator. Whether we need explicitly switch it on? Thanks very much for your advices in advance! best regards, Lin
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users