Changeset 1240:ee9bac10f58e in lemon for lemon/network_simplex.h

Timestamp:

03/16/13 16:20:41 (11 years ago)

Author:

Peter Kovacs <kpeter@…>

Branch:

default

Children:

1241:879fcb781086, 1296:330264b171cf

Phase:

public

Message:

Debug checking for capacity bounds in min cost flow algorithms (#454)

File:

• lemon/network_simplex.h (modified) (2 diffs)

lemon/network_simplex.h

@@ -1068 +1068 @@
              (_stype == LEQ && _sum_supply >= 0)) ) return false;
 
+      // Check lower and upper bounds
+      LEMON_DEBUG(checkBoundMaps(),
+          "Upper bounds must be greater or equal to the lower bounds");
+
       // Remove non-zero lower bounds
       if (_have_lower) {
@@ -1231 +1235 @@
       return true;
     }
+    
+    // Check if the upper bound is greater or equal to the lower bound
+    // on each arc.
+    bool checkBoundMaps() {
+      for (int j = 0; j != _arc_num; ++j) {
+        if (_upper[j] < _lower[j]) return false;
+      }
+      return true;
+    }
 
     // Find the join node