nojhan/paradiseo
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

use eoExceptions everywhere

Browse source
This commit is contained in:
Johann Dreo 2020-03-27 00:21:52 +01:00
commit eba2e14950
127 changed files with 524 additions and 418 deletions
Download patch file Download diff file Expand all files Collapse all files

10
problems/eval/maxSATeval.h
View file

@ -111,8 +111,8 @@ public:
std::fstream file(_fileName.c_str(), std::ios::in);
if (!file) {
std::string str = "MaxSATeval: Could not open file [" + _fileName + "]." ;
throw std::runtime_error(str);
// std::string str = "MaxSATeval: Could not open file [" + _fileName + "]." ;
throw eoFileError(_fileName);
}
std::string s;
@ -128,12 +128,12 @@ public:
// parameters
if (s[0] != 'p') {
std::string str = "MaxSATeval: could not read the parameters of the instance from file [" + _fileName + "]." ;
throw std::runtime_error(str);
throw eoException(_fileName);
}
file >> s;
if (s != "cnf") {
std::string str = "MaxSATeval: " + _fileName + " is not a file in cnf format.";
throw std::runtime_error(str);
throw eoException(_fileName);
}
file >> nbVar >> nbClauses;
@ -187,7 +187,7 @@ public:
if (!file) {
std::string str = "MaxSATeval: Could not open " + _fileName;
throw std::runtime_error(str);
throw eoFileError(_fileName);
}
// write some commentaries