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

Christian Schulte cschulte at kth.se
Wed Jan 7 14:12:12 CET 2009

Hi Denys,

well the principle was: just make them general enough so that it works for
the cases we use in Gecode... Do you want them more general than that?


Christian Schulte, www.ict.kth.se/~cschulte/

-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Denys Duchier
Sent: Friday, December 26, 2008 3:37 PM
To: users at gecode.org
Subject: [gecode-users] question about view types and propagator templates

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?



Gecode users mailing list
users at gecode.org

More information about the gecode-users mailing list