Changeset 608:6e0525ec5355 in lemon for tools/dimacs-solver.cc

Timestamp:

03/30/09 17:46:37 (15 years ago)

Author:

Alpar Juttner <alpar@…>

Branch:

default

Children:

609:538b3dd9a2c0, 1372:f37f0845cf32

Phase:

public

Message:

Accept negative values as unbounded capacity in dimacs readers (#243)
and some doc improvements.

File:

• tools/dimacs-solver.cc (modified) (5 diffs)

tools/dimacs-solver.cc

@@ -73 +73 @@
 template<class Value>
 void solve_max(ArgParser &ap, std::istream &is, std::ostream &,
-              DimacsDescriptor &desc)
+               Value infty, DimacsDescriptor &desc)
 {
   bool report = !ap.given("q");
@@ -81 +81 @@
   Timer ti;
   ti.restart();
-  readDimacsMax(is, g, cap, s, t, desc);
+  readDimacsMax(is, g, cap, s, t, infty, desc);
   if(report) std::cerr << "Read the file: " << ti << '\n';
   ti.restart();
@@ -116 +116 @@
            DimacsDescriptor &desc)
 {
+  std::stringstream iss(ap["infcap"]);
+  Value infty;
+  iss >> infty;
+  if(iss.fail())
+    {
+      std::cerr << "Cannot interpret '"
+                << static_cast<std::string>(ap["infcap"]) << "' as infinite"
+                << std::endl;
+      exit(1);
+    }
+  
   switch(desc.type)
     {
@@ -123 +134 @@
       break;
     case DimacsDescriptor::MAX:
-      solve_max<Value>(ap,is,os,desc);
+      solve_max<Value>(ap,is,os,infty,desc);
       break;
     case DimacsDescriptor::SP:
@@ -160 +171 @@
     .optionGroup("datatype","ldouble")
     .onlyOneGroup("datatype")
+    .stringOption("infcap","Value used for 'very high' capacities","0")
     .run();