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

[Denys Duchier]

Guido Tack <tack at ps.uni-sb.de> 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