storm::NativeSolverEnvironment Class Reference

#include <NativeSolverEnvironment.h>

Public Member Functions
	NativeSolverEnvironment ()
	~NativeSolverEnvironment ()
storm::solver::NativeLinearEquationSolverMethod const &	getMethod () const
bool const &	isMethodSetFromDefault () const
void	setMethod (storm::solver::NativeLinearEquationSolverMethod 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 &	getPowerMethodMultiplicationStyle () const
void	setPowerMethodMultiplicationStyle (storm::solver::MultiplicationStyle value)
storm::RationalNumber const &	getSorOmega () const
void	setSorOmega (storm::RationalNumber const &value)
bool	isSymmetricUpdatesSet () const
void	setSymmetricUpdates (bool value)

Detailed Description

Definition at line 12 of file NativeSolverEnvironment.h.

Constructor & Destructor Documentation

NativeSolverEnvironment()

storm::NativeSolverEnvironment::NativeSolverEnvironment

(

)

Definition at line 10 of file NativeSolverEnvironment.cpp.

~NativeSolverEnvironment()

storm::NativeSolverEnvironment::~NativeSolverEnvironment

(

)

Definition at line 22 of file NativeSolverEnvironment.cpp.

Member Function Documentation

getMaximalNumberOfIterations()

uint64_t const & storm::NativeSolverEnvironment::getMaximalNumberOfIterations

(

)

const

Definition at line 39 of file NativeSolverEnvironment.cpp.

getMethod()

storm::solver::NativeLinearEquationSolverMethod const & storm::NativeSolverEnvironment::getMethod

(

)

const

Definition at line 26 of file NativeSolverEnvironment.cpp.

getPowerMethodMultiplicationStyle()

storm::solver::MultiplicationStyle const & storm::NativeSolverEnvironment::getPowerMethodMultiplicationStyle

(

)

const

Definition at line 63 of file NativeSolverEnvironment.cpp.

getPrecision()

storm::RationalNumber const & storm::NativeSolverEnvironment::getPrecision

(

)

const

Definition at line 47 of file NativeSolverEnvironment.cpp.

getRelativeTerminationCriterion()

bool const & storm::NativeSolverEnvironment::getRelativeTerminationCriterion

(

)

const

Definition at line 55 of file NativeSolverEnvironment.cpp.

getSorOmega()

storm::RationalNumber const & storm::NativeSolverEnvironment::getSorOmega

(

)

const

Definition at line 71 of file NativeSolverEnvironment.cpp.

isMethodSetFromDefault()

bool const & storm::NativeSolverEnvironment::isMethodSetFromDefault

(

)

const

Definition at line 30 of file NativeSolverEnvironment.cpp.

isSymmetricUpdatesSet()

bool storm::NativeSolverEnvironment::isSymmetricUpdatesSet

(

)

const

Definition at line 79 of file NativeSolverEnvironment.cpp.

setMaximalNumberOfIterations()

void storm::NativeSolverEnvironment::setMaximalNumberOfIterations

(

uint64_t

value

)

Definition at line 43 of file NativeSolverEnvironment.cpp.

setMethod()

void storm::NativeSolverEnvironment::setMethod	(	storm::solver::NativeLinearEquationSolverMethod	value,
		bool	isSetFromDefault = false )

Definition at line 34 of file NativeSolverEnvironment.cpp.

setPowerMethodMultiplicationStyle()

void storm::NativeSolverEnvironment::setPowerMethodMultiplicationStyle

(

storm::solver::MultiplicationStyle

value

)

Definition at line 67 of file NativeSolverEnvironment.cpp.

setPrecision()

void storm::NativeSolverEnvironment::setPrecision

(

storm::RationalNumber

value

)

Definition at line 51 of file NativeSolverEnvironment.cpp.

setRelativeTerminationCriterion()

void storm::NativeSolverEnvironment::setRelativeTerminationCriterion

(

bool

value

)

Definition at line 59 of file NativeSolverEnvironment.cpp.

setSorOmega()

void storm::NativeSolverEnvironment::setSorOmega

(

storm::RationalNumber const &

value

)

Definition at line 75 of file NativeSolverEnvironment.cpp.

setSymmetricUpdates()

void storm::NativeSolverEnvironment::setSymmetricUpdates

(

bool

value

)

Definition at line 83 of file NativeSolverEnvironment.cpp.

---

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

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