[gecode-users] propagator PropCond

[Christian Schulte]

Yes it still does! What makes you believe otherwise? Did you really try?

Really sure: _DOM means reexecution whenever a view changes in wahtever
form. However it does not mean that for each domain change the propagator is
executed once!

Hmm?
Christian

--
Christian Schulte, http://www.imit.kth.se/~schulte/ 

-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Martin Mann
Sent: Monday, May 15, 2006 2:51 PM
To: gecode user list
Subject: [gecode-users] propagator PropCond


Dear all,

I wrote a propagator class derived from BinaryPropagator.

The template is wrapped like that

typedef Gecode::BinaryPropagator<Gecode::Int::IntView, 
Gecode::Int::PC_INT_VAL> BinProp;

Therefor the BinProp derived propagator is only called if one the two 
variables get assigned to a value.

My goal is a propagator that is called everytime the domain changes. So 
I set the PropCond template var from

PC_INT_VAL to PC_INT_DOM.

But now my propagator is not called anymore if the variable gets 
assigned.. Do I ve got to combine them or whats wrong? I m a bit confused!

Thanks for help

Martin



_______________________________________________
Gecode users mailing list
users at gecode.org https://www.gecode.org/mailman/listinfo/gecode-users