Method update

gecode/float/view/scale.hpp:178–182

* Cloning * */

   *
   */
  forceinline void
  ScaleView::update(Space& home, ScaleView& y) {
    DerivedView<FloatView>::update(home,y);
    a=y.a;
  }

  /*
   * Ordering