Denys Duchier wrote:
> Also:
> is there a downside to providing the most general templates?
There is actually a downside (although it's not the reason we didn't
provide the templates). If you use the ModEventDelta during
propagation, you have to access it through all the view types of the
propagator and combine the results. The more types you allow, the
less accurate is the ModEventDelta. E.g., if you get ME_SET_GLB, but
you use one SetView and one ComplementView, the combined delta is
ME_SET_BB (and you have to compute the combined ModEventDelta yourself).
Cheers,
Guido
_______________________________________________
Gecode users mailing list
us...@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
