Method currentSolverConfig

MiniZincIDE/configwindow.cpp:310–319

}

SolverConfiguration* ConfigWindow::currentSolverConfig(void)
{
    int i = currentIndex();
    if (i < 0 || i >= configs.length()) {
        return nullptr;
    }
    auto sc = configs[i];
    updateSolverConfig(sc);
    return sc;
}

const QList<SolverConfiguration*>& ConfigWindow::solverConfigs()
{