Lines Matching refs:_opt
73 auto& _opt = static_cast<MZNSolverOptions&>(*opt); in setAcceptedFlags() local
74 _opt.mznSolverFlags.clear(); in setAcceptedFlags()
77 _opt.supportsT = true; in setAcceptedFlags()
79 _opt.mznSolverFlags.push_back(f); in setAcceptedFlags()
87 auto& _opt = static_cast<MZNSolverOptions&>(*opt); in processOption() local
93 _opt.mznSolver = buffer; in processOption()
97 _opt.mznFlags.push_back(s); in processOption()
100 _opt.mznTimeLimitMilliseconds = nn; in processOption()
101 if (_opt.supportsT) { in processOption()
102 _opt.solverTimeLimitMilliseconds = nn; in processOption()
103 _opt.mznTimeLimitMilliseconds += 1000; // kill 1 second after solver should have stopped in processOption()
106 _opt.mznSigint = true; in processOption()
108 _opt.mznFlags.push_back(buffer); in processOption()
110 _opt.printStatistics = true; in processOption()
112 _opt.verbose = true; in processOption()
114 for (auto& mznf : _opt.mznSolverFlags) { in processOption()
116 _opt.mznFlags.push_back(mznf.n); in processOption()
117 _opt.mznFlags.push_back(buffer); in processOption()
121 _opt.mznFlags.push_back(mznf.n); in processOption()
136 _opt.mznFlags.push_back(input_file); in processOption()