| 54 | f->x.subscribe(home,p,PC_BOOL_VAL); |
| 55 | } |
| 56 | forceinline void |
| 57 | ScaleBoolArray::cancel(Space& home, Propagator& p) { |
| 58 | for (ScaleBool* f = _fst; f < _lst; f++) |
| 59 | f->x.cancel(home,p,PC_BOOL_VAL); |
| 60 | } |
| 61 | forceinline void |
| 62 | ScaleBoolArray::reschedule(Space& home, Propagator& p) { |
| 63 | for (ScaleBool* f = _fst; f < _lst; f++) |