Method done

gecode/int/channel/dom.hpp:118–123

  template<class View, class Offset>
  forceinline void
  DomInfo<View,Offset>::done(Offset& o) {
    size = view.size();
    min  = o(view).min();
    max  = o(view).max();
  }

  // Propagate domain information from x to y
  template<class View, class Offset>