GurobiSettings.cpp File Reference

#include "storm/settings/modules/GurobiSettings.h"
#include "storm/settings/Argument.h"
#include "storm/settings/ArgumentBuilder.h"
#include "storm/settings/Option.h"
#include "storm/settings/OptionBuilder.h"
#include "storm/settings/SettingsManager.h"
#include "storm/settings/modules/CoreSettings.h"
#include "storm/solver/GurobiLpSolver.h"
#include "storm/solver/SolverSelectionOptions.h"

Include dependency graph for GurobiSettings.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::settings
namespace	storm::settings::modules

Variables
static const std::string	storm::settings::modules::methodOption = "method"
static const std::string	storm::settings::modules::integerToleranceOption = "inttol"
static const std::string	storm::settings::modules::threadsOption = "threads"
static const std::string	storm::settings::modules::outputOption = "output"
static const std::string	storm::settings::modules::mipFocusOption = "mipfocus"
static const std::string	storm::settings::modules::concurrentMipThreadsOption = "concurrentmip"