tools/dimacs-solver.cc
changeset 571 d5c39e9d1a4e
parent 561 6e0525ec5355
child 584 33c6b6e755cd
equal deleted inserted replaced
2:a08874be0237 3:b335ff76f929
   113 
   113 
   114 template<class Value>
   114 template<class Value>
   115 void solve(ArgParser &ap, std::istream &is, std::ostream &os,
   115 void solve(ArgParser &ap, std::istream &is, std::ostream &os,
   116            DimacsDescriptor &desc)
   116            DimacsDescriptor &desc)
   117 {
   117 {
   118   std::stringstream iss(ap["infcap"]);
   118   std::stringstream iss(static_cast<std::string>(ap["infcap"]));
   119   Value infty;
   119   Value infty;
   120   iss >> infty;
   120   iss >> infty;
   121   if(iss.fail())
   121   if(iss.fail())
   122     {
   122     {
   123       std::cerr << "Cannot interpret '"
   123       std::cerr << "Cannot interpret '"