storm::GlpkSolverEnvironment Class Reference

#include <GlpkSolverEnvironment.h>

Public Member Functions
	GlpkSolverEnvironment ()
	~GlpkSolverEnvironment ()
double	getIntegerTolerance () const
void	setIntegerTolerance (double value)
bool	isMILPPresolverEnabled () const
void	setMILPPresolverEnabled (bool value)
bool	isOutputSet () const
void	setOutput (bool value)

Detailed Description

Definition at line 5 of file GlpkSolverEnvironment.h.

Constructor & Destructor Documentation

GlpkSolverEnvironment()

storm::GlpkSolverEnvironment::GlpkSolverEnvironment

(

)

Definition at line 8 of file GlpkSolverEnvironment.cpp.

~GlpkSolverEnvironment()

storm::GlpkSolverEnvironment::~GlpkSolverEnvironment

(

)

Definition at line 15 of file GlpkSolverEnvironment.cpp.

Member Function Documentation

getIntegerTolerance()

double storm::GlpkSolverEnvironment::getIntegerTolerance

(

)

const

Definition at line 19 of file GlpkSolverEnvironment.cpp.

isMILPPresolverEnabled()

bool storm::GlpkSolverEnvironment::isMILPPresolverEnabled

(

)

const

Definition at line 27 of file GlpkSolverEnvironment.cpp.

isOutputSet()

bool storm::GlpkSolverEnvironment::isOutputSet

(

)

const

Definition at line 35 of file GlpkSolverEnvironment.cpp.

setIntegerTolerance()

void storm::GlpkSolverEnvironment::setIntegerTolerance

(

double

value

)

Definition at line 23 of file GlpkSolverEnvironment.cpp.

setMILPPresolverEnabled()

void storm::GlpkSolverEnvironment::setMILPPresolverEnabled

(

bool

value

)

Definition at line 31 of file GlpkSolverEnvironment.cpp.

setOutput()

void storm::GlpkSolverEnvironment::setOutput

(

bool

value

)

Definition at line 39 of file GlpkSolverEnvironment.cpp.

---

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

• src/storm/environment/solver/GlpkSolverEnvironment.h
• src/storm/environment/solver/GlpkSolverEnvironment.cpp