Method writeToFileValue

highs/io/FilereaderLp.cpp:331–339

}

void FilereaderLp::writeToFileValue(FILE* file, const double value,
                                    const bool force_plus) {
  // As for writeModelAsMps
  if (force_plus) {
    this->writeToFile(file, " %+.15g", value);
  } else {
    this->writeToFile(file, " %.15g", value);
  }
}

void FilereaderLp::writeToFileVar(FILE* file, const std::string var_name) {
  this->writeToFile(file, " %s", var_name.c_str());