Method update

gecode/int/linear/bool-scale.hpp:66–79

      f->x.reschedule(home,p,PC_BOOL_VAL);
  }
  forceinline void
  ScaleBoolArray::update(Space& home, ScaleBoolArray& sba) {
    int n = static_cast<int>(sba._lst - sba._fst);
    if (n > 0) {
      _fst = home.alloc<ScaleBool>(n);
      _lst = _fst+n;
      for (int i=0; i<n; i++) {
        _fst[i].a = sba._fst[i].a;
        _fst[i].x.update(home,sba._fst[i].x);
      }
    } else {
      _fst = _lst = nullptr;
    }
  }
  forceinline ScaleBool*
  ScaleBoolArray::fst(void) const {
    return _fst;