storm::MinMaxSolverEnvironment Class Reference

#include <MinMaxSolverEnvironment.h>

Public Member Functions
	MinMaxSolverEnvironment ()
	~MinMaxSolverEnvironment ()
storm::solver::MinMaxMethod const &	getMethod () const
bool const &	isMethodSetFromDefault () const
void	setMethod (storm::solver::MinMaxMethod value, bool isSetFromDefault=false)
uint64_t const &	getMaximalNumberOfIterations () const
void	setMaximalNumberOfIterations (uint64_t value)
storm::RationalNumber const &	getPrecision () const
void	setPrecision (storm::RationalNumber value)
bool const &	getRelativeTerminationCriterion () const
void	setRelativeTerminationCriterion (bool value)
storm::solver::MultiplicationStyle const &	getMultiplicationStyle () const
void	setMultiplicationStyle (storm::solver::MultiplicationStyle value)
bool	isForceRequireUnique () const
void	setForceRequireUnique (bool value)
MinMaxLpSolverEnvironment const &	lp () const
MinMaxLpSolverEnvironment &	lp ()

Detailed Description

Definition at line 13 of file MinMaxSolverEnvironment.h.

Constructor & Destructor Documentation

MinMaxSolverEnvironment()

storm::MinMaxSolverEnvironment::MinMaxSolverEnvironment

(

)

Definition at line 11 of file MinMaxSolverEnvironment.cpp.

~MinMaxSolverEnvironment()

storm::MinMaxSolverEnvironment::~MinMaxSolverEnvironment

(

)

Definition at line 31 of file MinMaxSolverEnvironment.cpp.

Member Function Documentation

getMaximalNumberOfIterations()

uint64_t const & storm::MinMaxSolverEnvironment::getMaximalNumberOfIterations

(

)

const

Definition at line 48 of file MinMaxSolverEnvironment.cpp.

getMethod()

storm::solver::MinMaxMethod const & storm::MinMaxSolverEnvironment::getMethod

(

)

const

Definition at line 35 of file MinMaxSolverEnvironment.cpp.

getMultiplicationStyle()

storm::solver::MultiplicationStyle const & storm::MinMaxSolverEnvironment::getMultiplicationStyle

(

)

const

Definition at line 72 of file MinMaxSolverEnvironment.cpp.

getPrecision()

storm::RationalNumber const & storm::MinMaxSolverEnvironment::getPrecision

(

)

const

Definition at line 56 of file MinMaxSolverEnvironment.cpp.

getRelativeTerminationCriterion()

bool const & storm::MinMaxSolverEnvironment::getRelativeTerminationCriterion

(

)

const

Definition at line 64 of file MinMaxSolverEnvironment.cpp.

isForceRequireUnique()

bool storm::MinMaxSolverEnvironment::isForceRequireUnique

(

)

const

Definition at line 87 of file MinMaxSolverEnvironment.cpp.

isMethodSetFromDefault()

bool const & storm::MinMaxSolverEnvironment::isMethodSetFromDefault

(

)

const

Definition at line 39 of file MinMaxSolverEnvironment.cpp.

lp() [1/2]

MinMaxLpSolverEnvironment & storm::MinMaxSolverEnvironment::lp

(

)

Definition at line 83 of file MinMaxSolverEnvironment.cpp.

lp() [2/2]

MinMaxLpSolverEnvironment const & storm::MinMaxSolverEnvironment::lp

(

)

const

Definition at line 80 of file MinMaxSolverEnvironment.cpp.

setForceRequireUnique()

void storm::MinMaxSolverEnvironment::setForceRequireUnique

(

bool

value

)

Definition at line 91 of file MinMaxSolverEnvironment.cpp.

setMaximalNumberOfIterations()

void storm::MinMaxSolverEnvironment::setMaximalNumberOfIterations

(

uint64_t

value

)

Definition at line 52 of file MinMaxSolverEnvironment.cpp.

setMethod()

void storm::MinMaxSolverEnvironment::setMethod	(	storm::solver::MinMaxMethod	value,
		bool	isSetFromDefault = false
	)

Definition at line 43 of file MinMaxSolverEnvironment.cpp.

setMultiplicationStyle()

void storm::MinMaxSolverEnvironment::setMultiplicationStyle

(

storm::solver::MultiplicationStyle

value

)

Definition at line 76 of file MinMaxSolverEnvironment.cpp.

setPrecision()

void storm::MinMaxSolverEnvironment::setPrecision

(

storm::RationalNumber

value

)

Definition at line 60 of file MinMaxSolverEnvironment.cpp.

setRelativeTerminationCriterion()

void storm::MinMaxSolverEnvironment::setRelativeTerminationCriterion

(

bool

value

)

Definition at line 68 of file MinMaxSolverEnvironment.cpp.

---

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

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