Storm 1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::GurobiSolverEnvironment Class Reference

#include <GurobiSolverEnvironment.h>

Public Member Functions

 GurobiSolverEnvironment ()
 ~GurobiSolverEnvironment ()
storm::solver::GurobiSolverMethod const & getMethod () const
void setMethod (storm::solver::GurobiSolverMethod value)
uint64_t getNumberOfThreads () const
void setNumberOfThreads (uint64_t value)
uint64_t getMIPFocus () const
void setMIPFocus (uint64_t value)
uint64_t getNumberOfConcurrentMipThreads () const
void setNumberOfConcurrentMipThreads (uint64_t value)
double getIntegerTolerance () const
void setIntegerTolerance (double value)
bool isOutputSet () const
void setOutput (bool value)

Detailed Description

Definition at line 10 of file GurobiSolverEnvironment.h.

Constructor & Destructor Documentation

◆ GurobiSolverEnvironment()

storm::GurobiSolverEnvironment::GurobiSolverEnvironment ( )

Definition at line 9 of file GurobiSolverEnvironment.cpp.

◆ ~GurobiSolverEnvironment()

storm::GurobiSolverEnvironment::~GurobiSolverEnvironment ( )

Definition at line 19 of file GurobiSolverEnvironment.cpp.

Member Function Documentation

◆ getIntegerTolerance()

double storm::GurobiSolverEnvironment::getIntegerTolerance ( ) const

Definition at line 55 of file GurobiSolverEnvironment.cpp.

◆ getMethod()

storm::solver::GurobiSolverMethod const & storm::GurobiSolverEnvironment::getMethod ( ) const

Definition at line 23 of file GurobiSolverEnvironment.cpp.

◆ getMIPFocus()

uint64_t storm::GurobiSolverEnvironment::getMIPFocus ( ) const

Definition at line 39 of file GurobiSolverEnvironment.cpp.

◆ getNumberOfConcurrentMipThreads()

uint64_t storm::GurobiSolverEnvironment::getNumberOfConcurrentMipThreads ( ) const

Definition at line 47 of file GurobiSolverEnvironment.cpp.

◆ getNumberOfThreads()

uint64_t storm::GurobiSolverEnvironment::getNumberOfThreads ( ) const

Definition at line 31 of file GurobiSolverEnvironment.cpp.

◆ isOutputSet()

bool storm::GurobiSolverEnvironment::isOutputSet ( ) const

Definition at line 63 of file GurobiSolverEnvironment.cpp.

◆ setIntegerTolerance()

void storm::GurobiSolverEnvironment::setIntegerTolerance ( double value)

Definition at line 59 of file GurobiSolverEnvironment.cpp.

◆ setMethod()

void storm::GurobiSolverEnvironment::setMethod ( storm::solver::GurobiSolverMethod value)

Definition at line 27 of file GurobiSolverEnvironment.cpp.

◆ setMIPFocus()

void storm::GurobiSolverEnvironment::setMIPFocus ( uint64_t value)

Definition at line 43 of file GurobiSolverEnvironment.cpp.

◆ setNumberOfConcurrentMipThreads()

void storm::GurobiSolverEnvironment::setNumberOfConcurrentMipThreads ( uint64_t value)

Definition at line 51 of file GurobiSolverEnvironment.cpp.

◆ setNumberOfThreads()

void storm::GurobiSolverEnvironment::setNumberOfThreads ( uint64_t value)

Definition at line 35 of file GurobiSolverEnvironment.cpp.

◆ setOutput()

void storm::GurobiSolverEnvironment::setOutput ( bool value)

Definition at line 67 of file GurobiSolverEnvironment.cpp.

The documentation for this class was generated from the following files: