equal
deleted
inserted
replaced
80 node_index_map.set(n, lp.addRow(expr == 0.0)); |
80 node_index_map.set(n, lp.addRow(expr == 0.0)); |
81 } |
81 } |
82 } |
82 } |
83 lp.solveSimplex(); |
83 lp.solveSimplex(); |
84 cout << "elapsed time: " << ts << endl; |
84 cout << "elapsed time: " << ts << endl; |
|
85 // cout << "rows:" << endl; |
|
86 // for ( |
|
87 // LPSolver::Rows::ClassIt i(lp.row_iter_map, 0); |
|
88 // i!=INVALID; |
|
89 // ++i) { |
|
90 // cout << i << " "; |
|
91 // } |
|
92 // cout << endl; |
|
93 // cout << "cols:" << endl; |
|
94 // for ( |
|
95 // LPSolver::Cols::ClassIt i(lp.col_iter_map, 0); |
|
96 // i!=INVALID; |
|
97 // ++i) { |
|
98 // cout << i << " "; |
|
99 // } |
|
100 // cout << endl; |
|
101 lp.setMIP(); |
|
102 cout << "elapsed time: " << ts << endl; |
|
103 for (LPSolver::Cols::ClassIt it(lp.col_iter_map ,1); it!=INVALID; ++it) { |
|
104 lp.setColInt(it); |
|
105 } |
|
106 cout << "elapsed time: " << ts << endl; |
|
107 lp.solveBandB(); |
|
108 cout << "elapsed time: " << ts << endl; |
85 } |
109 } |