Method width

gecode/iter/ranges-map.hpp:248–251

  }
  template<class I, class M>
  forceinline unsigned int
  Map<I,M,true>::width(void) const {
    return static_cast<unsigned int>(max()-min())+1;
  }

}}}