storm::MinMaxLpSolverEnvironment Class Reference

#include <MinMaxLpSolverEnvironment.h>

Public Member Functions
	MinMaxLpSolverEnvironment ()
virtual	~MinMaxLpSolverEnvironment ()=default
void	setUseEqualityForSingleActions (bool newValue)
void	setOptimizeOnlyForInitialState (bool newValue)
void	setUseNonTrivialBounds (bool newValue)
bool	getUseEqualityForSingleActions () const
bool	getOptimizeOnlyForInitialState () const
bool	getUseNonTrivialBounds () const

Detailed Description

Definition at line 4 of file MinMaxLpSolverEnvironment.h.

Constructor & Destructor Documentation

MinMaxLpSolverEnvironment()

storm::MinMaxLpSolverEnvironment::MinMaxLpSolverEnvironment

(

)

Definition at line 7 of file MinMaxLpSolverEnvironment.cpp.

~MinMaxLpSolverEnvironment()

virtual storm::MinMaxLpSolverEnvironment::~MinMaxLpSolverEnvironment ( )

virtualdefault

Member Function Documentation

getOptimizeOnlyForInitialState()

bool storm::MinMaxLpSolverEnvironment::getOptimizeOnlyForInitialState

(

)

const

Definition at line 27 of file MinMaxLpSolverEnvironment.cpp.

getUseEqualityForSingleActions()

bool storm::MinMaxLpSolverEnvironment::getUseEqualityForSingleActions

(

)

const

Definition at line 24 of file MinMaxLpSolverEnvironment.cpp.

getUseNonTrivialBounds()

bool storm::MinMaxLpSolverEnvironment::getUseNonTrivialBounds

(

)

const

Definition at line 30 of file MinMaxLpSolverEnvironment.cpp.

setOptimizeOnlyForInitialState()

void storm::MinMaxLpSolverEnvironment::setOptimizeOnlyForInitialState

(

bool

newValue

)

Definition at line 17 of file MinMaxLpSolverEnvironment.cpp.

setUseEqualityForSingleActions()

void storm::MinMaxLpSolverEnvironment::setUseEqualityForSingleActions

(

bool

newValue

)

Definition at line 14 of file MinMaxLpSolverEnvironment.cpp.

setUseNonTrivialBounds()

void storm::MinMaxLpSolverEnvironment::setUseNonTrivialBounds

(

bool

newValue

)

Definition at line 20 of file MinMaxLpSolverEnvironment.cpp.

---

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

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