[gecode-users] propagator PropCond

[Martin Mann]

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