Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
storm::solver::GurobiEnvironment Class Reference

#include <GurobiLpSolver.h>

Public Member Functions

 GurobiEnvironment ()=default
 
 GurobiEnvironment (GurobiEnvironment const &)=delete
 
GurobiEnvironment & operator= (GurobiEnvironment const &)=delete
 
virtual ~GurobiEnvironment ()
 
void initialize ()
 Sets some properties of the Gurobi environment according to parameters given by the options.
 
void setOutput (bool set=false)
 

Detailed Description

Definition at line 21 of file GurobiLpSolver.h.

Constructor & Destructor Documentation

◆ GurobiEnvironment() [1/2]

storm::solver::GurobiEnvironment::GurobiEnvironment ( )
default

◆ GurobiEnvironment() [2/2]

storm::solver::GurobiEnvironment::GurobiEnvironment ( GurobiEnvironment const &  )
delete

◆ ~GurobiEnvironment()

storm::solver::GurobiEnvironment::~GurobiEnvironment ( )
virtual

Definition at line 27 of file GurobiLpSolver.cpp.

Member Function Documentation

◆ initialize()

void storm::solver::GurobiEnvironment::initialize ( )

Sets some properties of the Gurobi environment according to parameters given by the options.

Definition at line 42 of file GurobiLpSolver.cpp.

◆ operator=()

GurobiEnvironment & storm::solver::GurobiEnvironment::operator= ( GurobiEnvironment const &  )
delete

◆ setOutput()

void storm::solver::GurobiEnvironment::setOutput ( bool  set = false)

Definition at line 84 of file GurobiLpSolver.cpp.

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