| 385 | } |
| 386 | |
| 387 | void ConfigWindow::updateGUI(bool overrideSync) |
| 388 | { |
| 389 | int index = currentIndex(); |
| 390 | |
| 391 | if (configs.isEmpty()) { |
| 392 | ui->solver_controls->setVisible(false); |
| 393 | ui->options_groupBox->setVisible(false); |
| 394 | ui->advanced_groupBox->setVisible(false); |
| 395 | return; |
| 396 | } |
| 397 | |
| 398 | auto sc = configs[index]; |
| 399 | |
| 400 | ui->solver_controls->setVisible(true); |
| 401 | ui->options_groupBox->setVisible(true); |
| 402 | ui->advanced_groupBox->setVisible(true); |
| 403 | |
| 404 | populating = true; |
| 405 | |
| 406 | ui->solver_label->setText(sc->solverDefinition.name + " " + sc->solverDefinition.version); |
| 407 | |
| 408 | ui->makeConfigDefault_pushButton->setEnabled(sc->isBuiltin && !sc->solverDefinition.isDefaultSolver); |
| 409 | |
| 410 | ui->reset_pushButton->setEnabled(sc->isBuiltin); |
| 411 | |
| 412 | ui->intermediateSolutions_checkBox->setEnabled(sc->supports("-a") || sc->supports("-i")); |
| 413 | |
| 414 | ui->numSolutions_checkBox->setEnabled(sc->supports("-a")); |
| 415 | ui->numOptimal_checkBox->setEnabled(sc->supports("-a-o")); |
| 416 | ui->verboseSolving_checkBox->setEnabled(sc->supports("-v")); |
| 417 | ui->solvingStats_checkBox->setEnabled(sc->supports("-s")); |
| 418 | |
| 419 | if (overrideSync || !ui->sync_checkBox->isChecked()) { |
| 420 | ui->timeLimit_checkBox->setChecked(sc->timeLimit != 0); |
| 421 | ui->timeLimit_doubleSpinBox->setValue(sc->timeLimit / 1000.0); |
| 422 | ui->timeLimit_doubleSpinBox->setEnabled(ui->timeLimit_checkBox->isChecked()); |
| 423 | |
| 424 | if (sc->printIntermediate && sc->numSolutions == 1) { |
| 425 | ui->defaultBehavior_radioButton->setChecked(true); |
| 426 | } else { |
| 427 | ui->userDefinedBehavior_radioButton->setChecked(true); |
| 428 | } |
| 429 | |
| 430 | ui->intermediateSolutions_checkBox->setChecked(sc->printIntermediate); |
| 431 | ui->numSolutions_spinBox->setValue(sc->numSolutions); |
| 432 | ui->numSolutions_checkBox->setChecked(sc->numSolutions != 0); |
| 433 | ui->numOptimal_spinBox->setValue(sc->numOptimal); |
| 434 | ui->numOptimal_checkBox->setChecked(sc->numOptimal != 0); |
| 435 | ui->verboseCompilation_checkBox->setChecked(sc->verboseCompilation); |
| 436 | |
| 437 | if (ui->verboseSolving_checkBox->isEnabled()) { |
| 438 | ui->verboseSolving_checkBox->setChecked(sc->verboseSolving); |
| 439 | } |
| 440 | ui->compilationStats_checkBox->setChecked(sc->compilationStats); |
| 441 | |
| 442 | if (ui->solvingStats_checkBox->isEnabled()) { |
| 443 | ui->solvingStats_checkBox->setChecked(sc->solvingStats); |
| 444 | } |
nothing calls this directly
no test coverage detected