Method reschedule

gecode/int/count/view-base.hpp:64–69

  template<class VX, class VY, class VZ>
  void
  ViewBase<VX,VY,VZ>::reschedule(Space& home) {
    x.reschedule(home,*this,PC_INT_DOM);
    Gecode::Int::Count::reschedule(home,*this,y);
    z.reschedule(home,*this,PC_INT_BND);
  }

  template<class VX, class VY, class VZ>
  forceinline size_t