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

[Denys Duchier]

is there a design principle that guides the decision to parametrize
Int::Rel::EqDom with two view types, but Int::Rel:Nq with only one?

or why set propagators use IntViews but don't allow for other kinds of
integer views?

Cheers,

--Denys