[gecode-users] question about view types and propagator templates

[Guido Tack]

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