[Gecode] Views break ModEvent-driven propagators

[Guido Tack]

Hi!

While implementing the selection constraints, I noticed a flaw in the current 
design: If you have a parametric propagator, you can't use e.g. varmodevent 
to find out why it was invoked, because the events there only correspond to 
the core variable, not the view it's expecting. This could be solved by 
having a conversion function in the view, but that will only work for uniform 
propagators (only using variables of the same view type).
Is there anything I missed? Are parametric propagators not supposed to inspect 
the ModEvents?

Guido

P.S.: Christian, I don't want to disturb you during your holidays, I just 
thought I'd post this so that I don't forget about it ;-)

-- 
Guido Tack
Programming Systems Lab
http://www.ps.uni-sb.de/~tack