Function update

gecode/int/count/rel.hpp:102–106

  }

  forceinline void
  update(IntSet& y, Space& home, IntSet& py) {
    (void) home;
    y=py;
  }
  template<class VY>
  forceinline void
  update(VY& y, Space& home, VY py) {