Guido Tack <[email protected]> writes: > 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).
WOOSH! I think that was the sound of your explanation, as it quickly flew above my head ;-) Cheers, --Denys _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
