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 5 of file GlpkSolverEnvironment.cpp.

~GlpkSolverEnvironment()

storm::GlpkSolverEnvironment::~GlpkSolverEnvironment

(

)

Definition at line 9 of file GlpkSolverEnvironment.cpp.

Member Function Documentation

getIntegerTolerance()

double storm::GlpkSolverEnvironment::getIntegerTolerance

(

)

const

Definition at line 13 of file GlpkSolverEnvironment.cpp.

isMILPPresolverEnabled()

bool storm::GlpkSolverEnvironment::isMILPPresolverEnabled

(

)

const

Definition at line 21 of file GlpkSolverEnvironment.cpp.

isOutputSet()

bool storm::GlpkSolverEnvironment::isOutputSet

(

)

const

Definition at line 29 of file GlpkSolverEnvironment.cpp.

setIntegerTolerance()

void storm::GlpkSolverEnvironment::setIntegerTolerance

(

double

value

)

Definition at line 17 of file GlpkSolverEnvironment.cpp.

setMILPPresolverEnabled()

void storm::GlpkSolverEnvironment::setMILPPresolverEnabled

(

bool

value

)

Definition at line 25 of file GlpkSolverEnvironment.cpp.

setOutput()

void storm::GlpkSolverEnvironment::setOutput

(

bool

value

)

Definition at line 33 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