1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
|
#include <sstream>
#include "HCheckConfig.h"
#include "Highs.h"
#include "catch.hpp"
const bool dev_run = false;
TEST_CASE("highs-names", "[highs_names]") {
std::string name;
const std::string model = "avgas";
const std::string model_file =
std::string(HIGHS_DIR) + "/check/instances/" + model + ".mps";
Highs highs;
highs.setOptionValue("output_flag", dev_run);
highs.readModel(model_file);
const HighsLp& lp = highs.getLp();
HighsInt iCol, iRow;
HighsStatus status;
HighsInt ck_iCol;
for (HighsInt iCol = 0; iCol < lp.num_col_; iCol++) {
status = highs.getColName(iCol, name);
REQUIRE(status == HighsStatus::kOk);
status = highs.getColByName(name, ck_iCol);
REQUIRE(ck_iCol == iCol);
}
HighsInt ck_iRow;
for (HighsInt iRow = 0; iRow < lp.num_row_; iRow++) {
status = highs.getRowName(iRow, name);
REQUIRE(status == HighsStatus::kOk);
status = highs.getRowByName(name, ck_iRow);
REQUIRE(ck_iRow == iRow);
}
// Change all names to distinct new names
REQUIRE(highs.passColName(-1, "FRED") == HighsStatus::kError);
REQUIRE(highs.passColName(lp.num_col_, "FRED") == HighsStatus::kError);
REQUIRE(highs.passColName(0, "") == HighsStatus::kError);
std::string col0_name;
for (HighsInt iCol = 0; iCol < lp.num_col_; iCol++) {
std::stringstream ss;
ss.str(std::string());
ss << model << "_col_" << iCol << "\0";
const std::string name = ss.str();
if (iCol == 0) col0_name = name;
if (dev_run) printf("Col %d name is to be %s\n", int(iCol), name.c_str());
REQUIRE(highs.passColName(iCol, name) == HighsStatus::kOk);
}
REQUIRE(highs.passRowName(-1, "FRED") == HighsStatus::kError);
REQUIRE(highs.passRowName(lp.num_row_, "FRED") == HighsStatus::kError);
REQUIRE(highs.passRowName(0, "") == HighsStatus::kError);
std::string row0_name;
for (HighsInt iRow = 0; iRow < lp.num_row_; iRow++) {
std::stringstream ss;
ss.str(std::string());
ss << model << "_row_" << iRow << "\0";
const std::string name = ss.str();
if (iRow == 0) row0_name = name;
if (dev_run) printf("Row %d name is to be %s\n", int(iRow), name.c_str());
REQUIRE(highs.passRowName(iRow, name) == HighsStatus::kOk);
}
highs.run();
REQUIRE(highs.writeModel("") == HighsStatus::kOk);
if (dev_run) highs.writeSolution("", 1);
status = highs.getColByName(col0_name, iCol);
REQUIRE(status == HighsStatus::kOk);
REQUIRE(iCol == 0);
status = highs.getRowByName(row0_name, iRow);
REQUIRE(status == HighsStatus::kOk);
REQUIRE(iRow == 0);
// Change name of column num_col/2 to be the same as column 0
REQUIRE(highs.getColName(0, name) == HighsStatus::kOk);
REQUIRE(name == col0_name);
iCol = lp.num_col_ / 2;
std::string iCol_name;
REQUIRE(highs.getColName(iCol, iCol_name) == HighsStatus::kOk);
REQUIRE(highs.passColName(iCol, col0_name) == HighsStatus::kOk);
// column num_col/2 is no longer called iCol_name
status = highs.getColByName(iCol_name, iCol);
REQUIRE(status == HighsStatus::kError);
status = highs.getColByName(col0_name, iCol);
REQUIRE(status == HighsStatus::kError);
// Model can't be written
REQUIRE(highs.writeModel("") == HighsStatus::kError);
if (dev_run) highs.writeSolution("", 1);
// Reinstate name and model writes OK
REQUIRE(highs.passColName(iCol, iCol_name) == HighsStatus::kOk);
REQUIRE(highs.writeModel("") == HighsStatus::kOk);
// Change name of row num_row/2 to be the same as row 0
REQUIRE(highs.getRowName(0, name) == HighsStatus::kOk);
REQUIRE(name == row0_name);
iRow = lp.num_row_ / 2;
REQUIRE(highs.passRowName(iRow, row0_name) == HighsStatus::kOk);
// Model can't be written
REQUIRE(highs.writeModel("") == HighsStatus::kError);
if (dev_run) highs.writeSolution("", 1);
// Now work with a name-less model
HighsLp local_lp = lp;
local_lp.col_names_.clear();
local_lp.row_names_.clear();
highs.passModel(local_lp);
const std::string solution_file = "temp.sol";
REQUIRE(highs.writeSolution(solution_file, 1) == HighsStatus::kOk);
// Cannot get name of column or row 0
REQUIRE(highs.getColName(0, name) == HighsStatus::kError);
REQUIRE(highs.getRowName(0, name) == HighsStatus::kError);
std::remove(solution_file.c_str());
}
TEST_CASE("highs-model-name", "[model_names]") {
Highs highs;
const HighsLp& lp = highs.getLp();
std::string name = lp.model_name_;
REQUIRE(name == "");
highs.passModelName("new_name");
name = lp.model_name_;
REQUIRE(name == "new_name");
}
|
