1#ifndef STORM_SETTINGS_MODULES_CoreSettings_H_
2#define STORM_SETTINGS_MODULES_CoreSettings_H_
4#include "storm-config.h"
12enum class EquationSolverType;
13enum class LpSolverType;
14enum class MinMaxMethod;
15enum class SmtSolverType;
110 bool check()
const override;
120 static const std::string eqSolverOptionName;
121 static const std::string lpSolverOptionName;
122 static const std::string smtSolverOptionName;
123 static const std::string statisticsOptionName;
124 static const std::string statisticsOptionShortName;
125 static const std::string engineOptionName;
126 static const std::string engineOptionShortName;
127 static const std::string ddLibraryOptionName;
This class represents the core settings.
storm::solver::LpSolverType getLpSolver() const
Retrieves the selected LP solver.
storm::dd::DdType getDdLibraryType() const
Retrieves the selected library for DD-related operations.
bool isShowStatisticsSet() const
Retrieves whether statistics are to be shown.
storm::solver::EquationSolverType getEquationSolver() const
Retrieves the selected equation solver.
bool isEquationSolverSetFromDefaultValue() const
Retrieves whether the equation solver has been set from its default value.
bool isEquationSolverSet() const
Retrieves whether a equation solver has been set.
CoreSettings()
Creates a new set of core settings.
bool isLpSolverSetFromDefaultValue() const
Retrieves whether the lp solver has been set from its default value.
void finalize() override
Prepares the modules for further usage, should be called at the end of the initialization,...
void setEngine(storm::utility::Engine const &engine)
Sets the engine for further usage.
bool check() const override
Checks whether the settings are consistent.
storm::solver::SmtSolverType getSmtSolver() const
Retrieves the selected SMT solver.
bool isDdLibraryTypeSetFromDefaultValue() const
Retrieves whether the selected DD library is set from its default value.
static const std::string moduleName
storm::utility::Engine getEngine() const
Retrieves the selected engine.
This is the base class of the settings for a particular module.
Engine
An enumeration of all engines.