GurobiSolverEnvironment.cpp

Go to the documentation of this file.

#include "storm/environment/solver/GurobiSolverEnvironment.h"
 
#include "storm/settings/SettingsManager.h"
#include "storm/settings/modules/GurobiSettings.h"
#include "storm/solver/GurobiLpSolver.h"
 
namespace storm {
 
GurobiSolverEnvironment::GurobiSolverEnvironment() {
    auto const& gurobiSettings = storm::settings::getModule<storm::settings::modules::GurobiSettings>();
    method = gurobiSettings.getMethod();
    numberOfThreads = gurobiSettings.getNumberOfThreads();
    mipFocus = gurobiSettings.getMIPFocus();
    numberOfConcurrentMipThreads = gurobiSettings.getNumberOfConcurrentMipThreads();
    integerTolerance = gurobiSettings.getIntegerTolerance();
    output = gurobiSettings.isOutputSet();
}
 
GurobiSolverEnvironment::~GurobiSolverEnvironment() {
    // Intentionally left empty.
}
 
storm::solver::GurobiSolverMethod const& GurobiSolverEnvironment::getMethod() const {
    return method;
}
 
void GurobiSolverEnvironment::setMethod(storm::solver::GurobiSolverMethod value) {
    method = value;
}
 
uint64_t GurobiSolverEnvironment::getNumberOfThreads() const {
    return numberOfThreads;
}
 
void GurobiSolverEnvironment::setNumberOfThreads(uint64_t value) {
    numberOfThreads = value;
}
 
uint64_t GurobiSolverEnvironment::getMIPFocus() const {
    return mipFocus;
}
 
void GurobiSolverEnvironment::setMIPFocus(uint64_t value) {
    mipFocus = value;
}
 
uint64_t GurobiSolverEnvironment::getNumberOfConcurrentMipThreads() const {
    return numberOfConcurrentMipThreads;
}
 
void GurobiSolverEnvironment::setNumberOfConcurrentMipThreads(uint64_t value) {
    numberOfConcurrentMipThreads = value;
}
 
double GurobiSolverEnvironment::getIntegerTolerance() const {
    return integerTolerance;
}
 
void GurobiSolverEnvironment::setIntegerTolerance(double value) {
    integerTolerance = value;
}
 
bool GurobiSolverEnvironment::isOutputSet() const {
    return output;
}
 
void GurobiSolverEnvironment::setOutput(bool value) {
    output = value;
}
 
}  // namespace storm