equal
deleted
inserted
replaced
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 '" |