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

Timestamp:

03/16/13 16:20:41 (12 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/capacity_scaling.h (modified) (2 diffs)

lemon/capacity_scaling.h

@@ -738 +738 @@
       if (_sum_supply > 0) return INFEASIBLE;
 
+      // Check lower and upper bounds
+      LEMON_DEBUG(checkBoundMaps(),
+          "Upper bounds must be greater or equal to the lower bounds");
+
+
       // Initialize vectors
       for (int i = 0; i != _root; ++i) {
@@ -830 +835 @@
 
       return OPTIMAL;
+    }
+    
+    // Check if the upper bound is greater or equal to the lower bound
+    // on each arc.
+    bool checkBoundMaps() {
+      for (int j = 0; j != _res_arc_num; ++j) {
+        if (_upper[j] < _lower[j]) return false;
+      }
+      return true;
     }