Method getNumRows

highs/mip/HighsDynamicRowMatrix.h:91–91

  }

  HighsInt getNumRows() const { return ARrange_.size(); }

  HighsInt getNumDelRows() const { return deletedrows_.size(); }