Method height

gecode/minimodel/matrix.hpp:145–146

  Matrix<A>::width(void) const  { return _w; }
  template<class A>
  forceinline int
  Matrix<A>::height(void) const { return _h; }
  template<class A>
  inline typename Matrix<A>::ArgsType const
  Matrix<A>::get_array(void) const {