Method update

gecode/kernel/var.hpp:115–118

  }
  template<class VarImp>
  forceinline void
  VarImpVar<VarImp>::update(Space& home, VarImpVar<VarImp>& y) {
    x = y.x->copy(home);
  }

}