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 (storm::GurobiSolverEnvironment const &gurobiSettings, bool debug)
	Sets some properties of the Gurobi environment according to parameters given by the options.
void	setOutput (bool set=false)
double	getIntegerTolerance () const

Detailed Description

Definition at line 23 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 22 of file GurobiLpSolver.cpp.

Member Function Documentation

getIntegerTolerance()

double storm::solver::GurobiEnvironment::getIntegerTolerance

(

)

const

Definition at line 75 of file GurobiLpSolver.cpp.

initialize()

void storm::solver::GurobiEnvironment::initialize	(	storm::GurobiSolverEnvironment const &	gurobiSettings,
		bool	debug )

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

Definition at line 37 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 79 of file GurobiLpSolver.cpp.

---

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

• src/storm/solver/GurobiLpSolver.h
• src/storm/solver/GurobiLpSolver.cpp