📄 problem_handler.cc
字号:
#include "Problem_handler.h"#include "Problem.h"#include "Globals.h"#include "Cmd_options.h"Problem_handler::Problem_handler(ostream & o, const Globals * glob) : out(o) { globals = glob;}Problem_handler::~Problem_handler() { out.flush();}int Problem_handler::warnlevel_to_verboselevel(warning_type w) const { switch (w) { case SYMBOL_NOT_USED: return 1; case VAR_NOT_DEFINED: return 1; case MATH_SINGULAR: return 1; case BOUND_NOT_TIGHT: return 2; case BOUNDS_ORDER: return 1; } assert(0); //fine return -1;}void Problem_handler::process(Problem * p) { if (p->get_type() == ERROR || (p->get_type() == WARNING && warnlevel_to_verboselevel(p->get_level()) <= globals->cmd_options->get_verbose())) { out << p->to_string(); if (p->terminate()) { out.flush(); delete p; exit(1); } else delete p; } else //suppress warning delete p;}string Problem_handler::notify_us() const { string res; res += "please contact torrisi@aut.ee.ethz.ch for an updated version\n"; return res;}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -