Method reschedule

gecode/int/count/int-base.hpp:75–80

  template<class VX, class VY>
  void
  IntBase<VX,VY>::reschedule(Space& home) {
    for (int i=0; i<n_s; i++)
      x[i].reschedule(home,*this,PC_INT_DOM);
    Gecode::Int::Count::reschedule(home,*this,y);
  }

}}}