Method updateSolverConfig

MiniZincIDE/configwindow.cpp:502–560

void ConfigWindow::updateSolverConfig(SolverConfiguration* sc)
{
    // Make sure if anything was being edited, we defocus to update the value
    auto* focus = focusWidget();
    if (focus && focus->hasFocus()) {
        focus->clearFocus();
        focus->setFocus();
    }

    if (!sc->modified) {
        return;
    }

    auto cfgs = ui->sync_checkBox->isChecked() ? configs : (QList<SolverConfiguration*>() << sc);
    for (auto s : cfgs) {
        s->timeLimit = ui->timeLimit_checkBox->isChecked() ? static_cast<int>(ui->timeLimit_doubleSpinBox->value() * 1000.0) : 0;
        if (ui->defaultBehavior_radioButton->isChecked()) {
            s->printIntermediate = true;
            s->numSolutions = 1;
            s->numOptimal = 1;
        } else {
            s->printIntermediate = ui->intermediateSolutions_checkBox->isChecked();
            s->numSolutions = ui->numSolutions_checkBox->isChecked() ? ui->numSolutions_spinBox->value() : 0;
            s->numOptimal = ui->numOptimal_checkBox->isChecked() ? ui->numOptimal_spinBox->value() : 0;
        }

        s->verboseCompilation = ui->verboseCompilation_checkBox->isChecked();
        s->verboseSolving = ui->verboseSolving_checkBox->isChecked();
        s->compilationStats = ui->compilationStats_checkBox->isChecked();
        s->solvingStats = ui->solvingStats_checkBox->isChecked();
        s->outputTiming = ui->timingInfo_checkBox->isChecked();
        s->outputObjective = ui->outputObjective_checkBox->isChecked();
    }

    sc->optimizationLevel = ui->optimizationLevel_comboBox->currentIndex();
    QString additionalData = ui->additionalData_plainTextEdit->toPlainText();
    sc->additionalData = additionalData.length() > 0 ? additionalData.split("\n") : QStringList();
    sc->numThreads = ui->numThreads_spinBox->value();
    sc->randomSeed = ui->randomSeed_checkBox->isChecked() ? ui->randomSeed_lineEdit->text() : QVariant();
    sc->freeSearch = ui->freeSearch_checkBox->isChecked();

    sc->extraOptions.clear();
    for (int row = 0; row < ui->extraParams_tableWidget->rowCount(); row++) {
        auto keyItem = ui->extraParams_tableWidget->item(row, 0);
        auto flagTypeWidget = static_cast<QComboBox*>(ui->extraParams_tableWidget->cellWidget(row, 1));
        auto valueItem = ui->extraParams_tableWidget->item(row, 3);
        if (keyItem && valueItem) {
            auto key = keyItem->data(Qt::UserRole).isNull() ?
                        keyItem->data(Qt::DisplayRole).toString() :
                        qvariant_cast<SolverFlag>(keyItem->data(Qt::UserRole)).name;
            auto value = valueItem->data(Qt::DisplayRole);
            if (flagTypeWidget && flagTypeWidget->currentIndex() == 1) {
                sc->solverBackendOptions.insert(key, value);
            } else {
                sc->extraOptions.insert(key, value);
            }
        }
    }