Method subscribe

gecode/int/no-overlap/box.hpp:126–130

  template<class Dim, int n>
  forceinline void
  ManBox<Dim,n>::subscribe(Space& home, Propagator& p) {
    for (int i=0; i<n; i++)
      d[i].subscribe(home,p);
  }
  template<class Dim, int n>
  forceinline void
  ManBox<Dim,n>::cancel(Space& home, Propagator& p) {