storm::GmmxxSolverEnvironment Class Reference

#include <GmmxxSolverEnvironment.h>

Public Member Functions
	GmmxxSolverEnvironment ()
	~GmmxxSolverEnvironment ()
storm::solver::GmmxxLinearEquationSolverMethod const &	getMethod () const
void	setMethod (storm::solver::GmmxxLinearEquationSolverMethod value)
storm::solver::GmmxxLinearEquationSolverPreconditioner const &	getPreconditioner () const
void	setPreconditioner (storm::solver::GmmxxLinearEquationSolverPreconditioner value)
uint64_t const &	getRestartThreshold () const
void	setRestartThreshold (uint64_t value)
uint64_t const &	getMaximalNumberOfIterations () const
void	setMaximalNumberOfIterations (uint64_t value)
storm::RationalNumber const &	getPrecision () const
void	setPrecision (storm::RationalNumber value)

Detailed Description

Definition at line 11 of file GmmxxSolverEnvironment.h.

Constructor & Destructor Documentation

GmmxxSolverEnvironment()

storm::GmmxxSolverEnvironment::GmmxxSolverEnvironment

(

)

Definition at line 10 of file GmmxxSolverEnvironment.cpp.

~GmmxxSolverEnvironment()

storm::GmmxxSolverEnvironment::~GmmxxSolverEnvironment

(

)

Definition at line 19 of file GmmxxSolverEnvironment.cpp.

Member Function Documentation

getMaximalNumberOfIterations()

uint64_t const & storm::GmmxxSolverEnvironment::getMaximalNumberOfIterations

(

)

const

Definition at line 47 of file GmmxxSolverEnvironment.cpp.

getMethod()

storm::solver::GmmxxLinearEquationSolverMethod const & storm::GmmxxSolverEnvironment::getMethod

(

)

const

Definition at line 23 of file GmmxxSolverEnvironment.cpp.

getPrecision()

storm::RationalNumber const & storm::GmmxxSolverEnvironment::getPrecision

(

)

const

Definition at line 55 of file GmmxxSolverEnvironment.cpp.

getPreconditioner()

storm::solver::GmmxxLinearEquationSolverPreconditioner const & storm::GmmxxSolverEnvironment::getPreconditioner

(

)

const

Definition at line 31 of file GmmxxSolverEnvironment.cpp.

getRestartThreshold()

uint64_t const & storm::GmmxxSolverEnvironment::getRestartThreshold

(

)

const

Definition at line 39 of file GmmxxSolverEnvironment.cpp.

setMaximalNumberOfIterations()

void storm::GmmxxSolverEnvironment::setMaximalNumberOfIterations

(

uint64_t

value

)

Definition at line 51 of file GmmxxSolverEnvironment.cpp.

setMethod()

void storm::GmmxxSolverEnvironment::setMethod

(

storm::solver::GmmxxLinearEquationSolverMethod

value

)

Definition at line 27 of file GmmxxSolverEnvironment.cpp.

setPrecision()

void storm::GmmxxSolverEnvironment::setPrecision

(

storm::RationalNumber

value

)

Definition at line 59 of file GmmxxSolverEnvironment.cpp.

setPreconditioner()

void storm::GmmxxSolverEnvironment::setPreconditioner

(

storm::solver::GmmxxLinearEquationSolverPreconditioner

value

)

Definition at line 35 of file GmmxxSolverEnvironment.cpp.

setRestartThreshold()

void storm::GmmxxSolverEnvironment::setRestartThreshold

(

uint64_t

value

)

Definition at line 43 of file GmmxxSolverEnvironment.cpp.

---

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

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