[gecode-users] Remapping of BoolVar propagation conditions

[Vincent Barichard]

Hi,

I would like to add a propagation condition to the BoolVar variables.  
I succeeded
to add this new propagation condition but when I tried to subscribe  
variables to
this new propagation condition, I discovered that all propagation  
conditions
for BoolVar are remapped to PC_BOOL_VAL.

Why are they remapped ? Can I safely removed this mapping ?

I found the remapping of the propagation condition in the file gecode/ 
int/var-imp/bool.hpp.

   forceinline void
   BoolVarImp::subscribe(Space& home, Propagator& p, PropCond,
                         bool process) {
     // Subscription can be used with integer propagation conditions,
     // which must be remapped to the single Boolean propagation  
condition.
     BoolVarImpBase::subscribe(home,p,PC_BOOL_VAL,assigned(),process);
   }
   forceinline void
   BoolVarImp::cancel(Space& home, Propagator& p, PropCond) {
     BoolVarImpBase::cancel(home,p,PC_BOOL_VAL,assigned());
   }

Thank you for your help.

Cheers,
Vincent

Vincent Barichard         Université d'Angers (LERIA)
Tel: 02 41 73 52 06      Département Informatique
Fax: 02 41 73 50 73     H203