Changeset 1240:ee9bac10f58e in lemon for lemon/cost_scaling.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/cost_scaling.h (modified) (2 diffs)

lemon/cost_scaling.h

@@ -762 +762 @@
       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
@@ -897 +901 @@
 
       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;
     }