Method getOrigColIndex

highs/presolve/HighsPostsolveStack.h:274–277

  }

  HighsInt getOrigColIndex(HighsInt col) const {
    assert(static_cast<size_t>(col) < origColIndex.size());
    return origColIndex[col];
  }

  void appendCutsToModel(HighsInt numCuts) {
    size_t currNumRow = origRowIndex.size();