0
13
0
| ... | ... |
@@ -91,12 +91,24 @@ |
| 91 | 91 |
|
| 92 | 92 |
int CbcMip::_addRow() {
|
| 93 | 93 |
_prob->addRow(0, 0, 0, -COIN_DBL_MAX, COIN_DBL_MAX); |
| 94 | 94 |
return _prob->numberRows() - 1; |
| 95 | 95 |
} |
| 96 | 96 |
|
| 97 |
int CbcMip::_addRow(Value l, ExprIterator b, ExprIterator e, Value u) {
|
|
| 98 |
std::vector<int> indexes; |
|
| 99 |
std::vector<Value> values; |
|
| 100 |
|
|
| 101 |
for(ExprIterator it = b; it != e; ++it) {
|
|
| 102 |
indexes.push_back(it->first); |
|
| 103 |
values.push_back(it->second); |
|
| 104 |
} |
|
| 105 |
|
|
| 106 |
_prob->addRow(values.size(), &indexes.front(), &values.front(), l, u); |
|
| 107 |
return _prob->numberRows() - 1; |
|
| 108 |
} |
|
| 97 | 109 |
|
| 98 | 110 |
void CbcMip::_eraseCol(int i) {
|
| 99 | 111 |
_prob->deleteColumn(i); |
| 100 | 112 |
} |
| 101 | 113 |
|
| 102 | 114 |
void CbcMip::_eraseRow(int i) {
|
| ... | ... |
@@ -59,12 +59,13 @@ |
| 59 | 59 |
protected: |
| 60 | 60 |
|
| 61 | 61 |
virtual const char* _solverName() const; |
| 62 | 62 |
|
| 63 | 63 |
virtual int _addCol(); |
| 64 | 64 |
virtual int _addRow(); |
| 65 |
virtual int _addRow(Value l, ExprIterator b, ExprIterator e, Value u); |
|
| 65 | 66 |
|
| 66 | 67 |
virtual void _eraseCol(int i); |
| 67 | 68 |
virtual void _eraseRow(int i); |
| 68 | 69 |
|
| 69 | 70 |
virtual void _eraseColId(int i); |
| 70 | 71 |
virtual void _eraseRowId(int i); |
| ... | ... |
@@ -75,12 +75,25 @@ |
| 75 | 75 |
|
| 76 | 76 |
int ClpLp::_addRow() {
|
| 77 | 77 |
_prob->addRow(0, 0, 0, -COIN_DBL_MAX, COIN_DBL_MAX); |
| 78 | 78 |
return _prob->numberRows() - 1; |
| 79 | 79 |
} |
| 80 | 80 |
|
| 81 |
int ClpLp::_addRow(Value l, ExprIterator b, ExprIterator e, Value u) {
|
|
| 82 |
std::vector<int> indexes; |
|
| 83 |
std::vector<Value> values; |
|
| 84 |
|
|
| 85 |
for(ExprIterator it = b; it != e; ++it) {
|
|
| 86 |
indexes.push_back(it->first); |
|
| 87 |
values.push_back(it->second); |
|
| 88 |
} |
|
| 89 |
|
|
| 90 |
_prob->addRow(values.size(), &indexes.front(), &values.front(), l, u); |
|
| 91 |
return _prob->numberRows() - 1; |
|
| 92 |
} |
|
| 93 |
|
|
| 81 | 94 |
|
| 82 | 95 |
void ClpLp::_eraseCol(int c) {
|
| 83 | 96 |
_col_names_ref.erase(_prob->getColumnName(c)); |
| 84 | 97 |
_prob->deleteColumns(1, &c); |
| 85 | 98 |
} |
| 86 | 99 |
| ... | ... |
@@ -72,12 +72,13 @@ |
| 72 | 72 |
protected: |
| 73 | 73 |
|
| 74 | 74 |
virtual const char* _solverName() const; |
| 75 | 75 |
|
| 76 | 76 |
virtual int _addCol(); |
| 77 | 77 |
virtual int _addRow(); |
| 78 |
virtual int _addRow(Value l, ExprIterator b, ExprIterator e, Value u); |
|
| 78 | 79 |
|
| 79 | 80 |
virtual void _eraseCol(int i); |
| 80 | 81 |
virtual void _eraseRow(int i); |
| 81 | 82 |
|
| 82 | 83 |
virtual void _eraseColId(int i); |
| 83 | 84 |
virtual void _eraseRowId(int i); |
| ... | ... |
@@ -108,12 +108,45 @@ |
| 108 | 108 |
const double ub = INF; |
| 109 | 109 |
const char s = 'L'; |
| 110 | 110 |
CPXnewrows(cplexEnv(), _prob, 1, &ub, &s, 0, 0); |
| 111 | 111 |
return i; |
| 112 | 112 |
} |
| 113 | 113 |
|
| 114 |
int CplexBase::_addRow(Value lb, ExprIterator b, |
|
| 115 |
ExprIterator e, Value ub) {
|
|
| 116 |
int i = CPXgetnumrows(cplexEnv(), _prob); |
|
| 117 |
if (lb == -INF) {
|
|
| 118 |
const char s = 'L'; |
|
| 119 |
CPXnewrows(cplexEnv(), _prob, 1, &ub, &s, 0, 0); |
|
| 120 |
} else if (ub == INF) {
|
|
| 121 |
const char s = 'G'; |
|
| 122 |
CPXnewrows(cplexEnv(), _prob, 1, &lb, &s, 0, 0); |
|
| 123 |
} else if (lb == ub){
|
|
| 124 |
const char s = 'E'; |
|
| 125 |
CPXnewrows(cplexEnv(), _prob, 1, &lb, &s, 0, 0); |
|
| 126 |
} else {
|
|
| 127 |
const char s = 'R'; |
|
| 128 |
double len = ub - lb; |
|
| 129 |
CPXnewrows(cplexEnv(), _prob, 1, &lb, &s, &len, 0); |
|
| 130 |
} |
|
| 131 |
|
|
| 132 |
std::vector<int> indices; |
|
| 133 |
std::vector<int> rowlist; |
|
| 134 |
std::vector<Value> values; |
|
| 135 |
|
|
| 136 |
for(ExprIterator it=b; it!=e; ++it) {
|
|
| 137 |
indices.push_back(it->first); |
|
| 138 |
values.push_back(it->second); |
|
| 139 |
rowlist.push_back(i); |
|
| 140 |
} |
|
| 141 |
|
|
| 142 |
CPXchgcoeflist(cplexEnv(), _prob, values.size(), |
|
| 143 |
&rowlist.front(), &indices.front(), &values.front()); |
|
| 144 |
|
|
| 145 |
return i; |
|
| 146 |
} |
|
| 114 | 147 |
|
| 115 | 148 |
void CplexBase::_eraseCol(int i) {
|
| 116 | 149 |
CPXdelcols(cplexEnv(), _prob, i, i); |
| 117 | 150 |
} |
| 118 | 151 |
|
| 119 | 152 |
void CplexBase::_eraseRow(int i) {
|
| ... | ... |
@@ -90,12 +90,13 @@ |
| 90 | 90 |
CplexBase(const CplexEnv&); |
| 91 | 91 |
CplexBase(const CplexBase &); |
| 92 | 92 |
virtual ~CplexBase(); |
| 93 | 93 |
|
| 94 | 94 |
virtual int _addCol(); |
| 95 | 95 |
virtual int _addRow(); |
| 96 |
virtual int _addRow(Value l, ExprIterator b, ExprIterator e, Value u); |
|
| 96 | 97 |
|
| 97 | 98 |
virtual void _eraseCol(int i); |
| 98 | 99 |
virtual void _eraseRow(int i); |
| 99 | 100 |
|
| 100 | 101 |
virtual void _eraseColId(int i); |
| 101 | 102 |
virtual void _eraseRowId(int i); |
| ... | ... |
@@ -56,12 +56,48 @@ |
| 56 | 56 |
int GlpkBase::_addRow() {
|
| 57 | 57 |
int i = glp_add_rows(lp, 1); |
| 58 | 58 |
glp_set_row_bnds(lp, i, GLP_FR, 0.0, 0.0); |
| 59 | 59 |
return i; |
| 60 | 60 |
} |
| 61 | 61 |
|
| 62 |
int GlpkBase::_addRow(Value lo, ExprIterator b, |
|
| 63 |
ExprIterator e, Value up) {
|
|
| 64 |
int i = glp_add_rows(lp, 1); |
|
| 65 |
|
|
| 66 |
if (lo == -INF) {
|
|
| 67 |
if (up == INF) {
|
|
| 68 |
glp_set_row_bnds(lp, i, GLP_FR, lo, up); |
|
| 69 |
} else {
|
|
| 70 |
glp_set_row_bnds(lp, i, GLP_UP, lo, up); |
|
| 71 |
} |
|
| 72 |
} else {
|
|
| 73 |
if (up == INF) {
|
|
| 74 |
glp_set_row_bnds(lp, i, GLP_LO, lo, up); |
|
| 75 |
} else if (lo != up) {
|
|
| 76 |
glp_set_row_bnds(lp, i, GLP_DB, lo, up); |
|
| 77 |
} else {
|
|
| 78 |
glp_set_row_bnds(lp, i, GLP_FX, lo, up); |
|
| 79 |
} |
|
| 80 |
} |
|
| 81 |
|
|
| 82 |
std::vector<int> indexes; |
|
| 83 |
std::vector<Value> values; |
|
| 84 |
|
|
| 85 |
indexes.push_back(0); |
|
| 86 |
values.push_back(0); |
|
| 87 |
|
|
| 88 |
for(ExprIterator it = b; it != e; ++it) {
|
|
| 89 |
indexes.push_back(it->first); |
|
| 90 |
values.push_back(it->second); |
|
| 91 |
} |
|
| 92 |
|
|
| 93 |
glp_set_mat_row(lp, i, values.size() - 1, |
|
| 94 |
&indexes.front(), &values.front()); |
|
| 95 |
return i; |
|
| 96 |
} |
|
| 97 |
|
|
| 62 | 98 |
void GlpkBase::_eraseCol(int i) {
|
| 63 | 99 |
int ca[2]; |
| 64 | 100 |
ca[1] = i; |
| 65 | 101 |
glp_del_cols(lp, 1, ca); |
| 66 | 102 |
} |
| 67 | 103 |
| ... | ... |
@@ -51,12 +51,13 @@ |
| 51 | 51 |
virtual ~GlpkBase(); |
| 52 | 52 |
|
| 53 | 53 |
protected: |
| 54 | 54 |
|
| 55 | 55 |
virtual int _addCol(); |
| 56 | 56 |
virtual int _addRow(); |
| 57 |
virtual int _addRow(Value l, ExprIterator b, ExprIterator e, Value u); |
|
| 57 | 58 |
|
| 58 | 59 |
virtual void _eraseCol(int i); |
| 59 | 60 |
virtual void _eraseRow(int i); |
| 60 | 61 |
|
| 61 | 62 |
virtual void _eraseColId(int i); |
| 62 | 63 |
virtual void _eraseRowId(int i); |
| ... | ... |
@@ -940,12 +940,20 @@ |
| 940 | 940 |
virtual void _eraseColId(int col) { cols.eraseIndex(col); }
|
| 941 | 941 |
virtual void _eraseRowId(int row) { rows.eraseIndex(row); }
|
| 942 | 942 |
|
| 943 | 943 |
virtual int _addCol() = 0; |
| 944 | 944 |
virtual int _addRow() = 0; |
| 945 | 945 |
|
| 946 |
virtual int _addRow(Value l, ExprIterator b, ExprIterator e, Value u) {
|
|
| 947 |
int row = _addRow(); |
|
| 948 |
_setRowCoeffs(row, b, e); |
|
| 949 |
_setRowLowerBound(row, l); |
|
| 950 |
_setRowUpperBound(row, u); |
|
| 951 |
return row; |
|
| 952 |
} |
|
| 953 |
|
|
| 946 | 954 |
virtual void _eraseCol(int col) = 0; |
| 947 | 955 |
virtual void _eraseRow(int row) = 0; |
| 948 | 956 |
|
| 949 | 957 |
virtual void _getColName(int col, std::string& name) const = 0; |
| 950 | 958 |
virtual void _setColName(int col, const std::string& name) = 0; |
| 951 | 959 |
virtual int _colByName(const std::string& name) const = 0; |
| ... | ... |
@@ -1204,24 +1212,30 @@ |
| 1204 | 1212 |
|
| 1205 | 1213 |
///\param l is the lower bound (-\ref INF means no bound) |
| 1206 | 1214 |
///\param e is a linear expression (see \ref Expr) |
| 1207 | 1215 |
///\param u is the upper bound (\ref INF means no bound) |
| 1208 | 1216 |
///\return The created row. |
| 1209 | 1217 |
Row addRow(Value l,const Expr &e, Value u) {
|
| 1210 |
Row r=addRow(); |
|
| 1211 |
row(r,l,e,u); |
|
| 1218 |
Row r; |
|
| 1219 |
e.simplify(); |
|
| 1220 |
r._id = _addRowId(_addRow(l - *e, ExprIterator(e.comps.begin(), cols), |
|
| 1221 |
ExprIterator(e.comps.end(), cols), u - *e)); |
|
| 1212 | 1222 |
return r; |
| 1213 | 1223 |
} |
| 1214 | 1224 |
|
| 1215 | 1225 |
///Add a new row (i.e a new constraint) to the LP |
| 1216 | 1226 |
|
| 1217 | 1227 |
///\param c is a linear expression (see \ref Constr) |
| 1218 | 1228 |
///\return The created row. |
| 1219 | 1229 |
Row addRow(const Constr &c) {
|
| 1220 |
Row r=addRow(); |
|
| 1221 |
row(r,c); |
|
| 1230 |
Row r; |
|
| 1231 |
c.expr().simplify(); |
|
| 1232 |
r._id = _addRowId(_addRow(c.lowerBounded()?c.lowerBound():-INF, |
|
| 1233 |
ExprIterator(c.expr().comps.begin(), cols), |
|
| 1234 |
ExprIterator(c.expr().comps.end(), cols), |
|
| 1235 |
c.upperBounded()?c.upperBound():INF)); |
|
| 1222 | 1236 |
return r; |
| 1223 | 1237 |
} |
| 1224 | 1238 |
///Erase a column (i.e a variable) from the LP |
| 1225 | 1239 |
|
| 1226 | 1240 |
///\param c is the column to be deleted |
| 1227 | 1241 |
void erase(Col c) {
|
| ... | ... |
@@ -29,12 +29,17 @@ |
| 29 | 29 |
|
| 30 | 30 |
int SkeletonSolverBase::_addRow() |
| 31 | 31 |
{
|
| 32 | 32 |
return ++row_num; |
| 33 | 33 |
} |
| 34 | 34 |
|
| 35 |
int SkeletonSolverBase::_addRow(Value, ExprIterator, ExprIterator, Value) |
|
| 36 |
{
|
|
| 37 |
return ++row_num; |
|
| 38 |
} |
|
| 39 |
|
|
| 35 | 40 |
void SkeletonSolverBase::_eraseCol(int) {}
|
| 36 | 41 |
void SkeletonSolverBase::_eraseRow(int) {}
|
| 37 | 42 |
|
| 38 | 43 |
void SkeletonSolverBase::_getColName(int, std::string &) const {}
|
| 39 | 44 |
void SkeletonSolverBase::_setColName(int, const std::string &) {}
|
| 40 | 45 |
int SkeletonSolverBase::_colByName(const std::string&) const { return -1; }
|
| ... | ... |
@@ -42,12 +42,14 @@ |
| 42 | 42 |
|
| 43 | 43 |
/// \e |
| 44 | 44 |
virtual int _addCol(); |
| 45 | 45 |
/// \e |
| 46 | 46 |
virtual int _addRow(); |
| 47 | 47 |
/// \e |
| 48 |
virtual int _addRow(Value l, ExprIterator b, ExprIterator e, Value u); |
|
| 49 |
/// \e |
|
| 48 | 50 |
virtual void _eraseCol(int i); |
| 49 | 51 |
/// \e |
| 50 | 52 |
virtual void _eraseRow(int i); |
| 51 | 53 |
|
| 52 | 54 |
/// \e |
| 53 | 55 |
virtual void _getColName(int col, std::string& name) const; |
| ... | ... |
@@ -88,12 +88,25 @@ |
| 88 | 88 |
|
| 89 | 89 |
_row_names.push_back(std::string()); |
| 90 | 90 |
|
| 91 | 91 |
return soplex->nRows() - 1; |
| 92 | 92 |
} |
| 93 | 93 |
|
| 94 |
int SoplexLp::_addRow(Value l, ExprIterator b, ExprIterator e, Value u) {
|
|
| 95 |
soplex::DSVector v; |
|
| 96 |
for (ExprIterator it = b; it != e; ++it) {
|
|
| 97 |
v.add(it->first, it->second); |
|
| 98 |
} |
|
| 99 |
soplex::LPRow r(l, v, u); |
|
| 100 |
soplex->addRow(r); |
|
| 101 |
|
|
| 102 |
_row_names.push_back(std::string()); |
|
| 103 |
|
|
| 104 |
return soplex->nRows() - 1; |
|
| 105 |
} |
|
| 106 |
|
|
| 94 | 107 |
|
| 95 | 108 |
void SoplexLp::_eraseCol(int i) {
|
| 96 | 109 |
soplex->removeCol(i); |
| 97 | 110 |
_col_names_ref.erase(_col_names[i]); |
| 98 | 111 |
_col_names[i] = _col_names.back(); |
| 99 | 112 |
_col_names_ref[_col_names.back()] = i; |
| ... | ... |
@@ -81,12 +81,13 @@ |
| 81 | 81 |
protected: |
| 82 | 82 |
|
| 83 | 83 |
virtual const char* _solverName() const; |
| 84 | 84 |
|
| 85 | 85 |
virtual int _addCol(); |
| 86 | 86 |
virtual int _addRow(); |
| 87 |
virtual int _addRow(Value l, ExprIterator b, ExprIterator e, Value u); |
|
| 87 | 88 |
|
| 88 | 89 |
virtual void _eraseCol(int i); |
| 89 | 90 |
virtual void _eraseRow(int i); |
| 90 | 91 |
|
| 91 | 92 |
virtual void _eraseColId(int i); |
| 92 | 93 |
virtual void _eraseRowId(int i); |
0 comments (0 inline)