| 57 | } |
| 58 | |
| 59 | void |
| 60 | BoolVarImp::subscribe(Space& home, Propagator& p, PropCond, |
| 61 | bool schedule) { |
| 62 | // Subscription can be used with integer propagation conditions, |
| 63 | // which must be remapped to the single Boolean propagation condition. |
| 64 | BoolVarImpBase::subscribe(home,p,PC_BOOL_VAL,assigned(),schedule); |
| 65 | } |
| 66 | |
| 67 | void |
| 68 | BoolVarImp::reschedule(Space& home, Propagator& p, PropCond) { |