72
72
return _manuallyClosed.find(path) != _manuallyClosed.end();
74
74
viewButton *getViewButton(int num);
75
76
void addSolver(const std::string &name, const std::string &exe,
76
77
const std::string &hostName, int index);
77
78
void removeSolver(const std::string &name);