Ticket #441: 55c6560a7c0f.patch

lemon/bits/solver_bits.h

@@ -44 +44 @@
 
       void clear() {
         first_item = -1;
+        last_item = -1;
         first_free_item = -1;
         items.clear();
         cross.clear();

lemon/lp_skeleton.cc

@@ -87 +87 @@
 
   void SkeletonSolverBase::_clear() {
     row_num = col_num = 0;
+    rows.clear(); cols.clear();
   }
 
   void SkeletonSolverBase::_messageLevel(MessageLevel) {}

test/lp_test.cc

@@ -41 +41 @@
 
 using namespace lemon;
 
+int countCols(LpSolver& lp) {
+  int count = 0;
+  for (LpSolver::ColIt c(lp); c != INVALID; ++c) ++count;
+  return count;
+}
+
+int countRows(LpSolver& lp) {
+  int count = 0;
+  for (LpSolver::RowIt r(lp); r != INVALID; ++r) ++count;
+  return count;
+}
+
 void lpTest(LpSolver& lp)
 {
 
@@ -244 +256 @@
        );
   }
 
+  { //Tests for #441
+    check(countCols(lp) == 30, "Wrong number of columns");
+    check(countRows(lp) == 6, "Wrong number of rows");
+
+    lp.clear();
+
+    check(countCols(lp) == 0, "Wrong number of columns");
+    check(countRows(lp) == 0, "Wrong number of rows");
+
+    LP::Col p1;
+    p1=lp.addCol();
+    std::cerr << countCols(lp) << std::endl;
+    check(countCols(lp) == 1, "Wrong number of columns");
+
+    lp.addRow(p1==1);
+    check(countRows(lp) == 1, "Wrong number of rows");
+  }
 }
 
 void solveAndCheck(LpSolver& lp, LpSolver::ProblemType stat,