| 277 | } |
| 278 | |
| 279 | SolverConfiguration::SolverConfiguration(const Solver& _solver, bool builtin) : |
| 280 | solverDefinition(_solver), |
| 281 | isBuiltin(builtin), |
| 282 | timeLimit(0), |
| 283 | printIntermediate(true), |
| 284 | numSolutions(1), |
| 285 | numOptimal(1), |
| 286 | verboseCompilation(false), |
| 287 | verboseSolving(false), |
| 288 | compilationStats(false), |
| 289 | solvingStats(false), |
| 290 | outputTiming(false), |
| 291 | outputObjective(true), |
| 292 | optimizationLevel(1), |
| 293 | numThreads(1), |
| 294 | freeSearch(false), |
| 295 | modified(false) |
| 296 | { |
| 297 | solver = _solver.id + "@" + _solver.version; |
| 298 | } |
| 299 | |
| 300 | SolverConfiguration SolverConfiguration::loadJSON(const QString& filename, QStringList& warnings) |
| 301 | { |
nothing calls this directly
no outgoing calls
no test coverage detected