Storm
A Modern Probabilistic Model Checker
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Public Member Functions | List of all members
storm::EigenSolverEnvironment Class Reference

#include <EigenSolverEnvironment.h>

Public Member Functions

 EigenSolverEnvironment ()
 
 ~EigenSolverEnvironment ()
 
storm::solver::EigenLinearEquationSolverMethod const & getMethod () const
 
void setMethod (storm::solver::EigenLinearEquationSolverMethod value)
 
bool isMethodSetFromDefault () const
 
storm::solver::EigenLinearEquationSolverPreconditioner const & getPreconditioner () const
 
void setPreconditioner (storm::solver::EigenLinearEquationSolverPreconditioner 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 EigenSolverEnvironment.h.

Constructor & Destructor Documentation

◆ EigenSolverEnvironment()

storm::EigenSolverEnvironment::EigenSolverEnvironment ( )

Definition at line 10 of file EigenSolverEnvironment.cpp.

◆ ~EigenSolverEnvironment()

storm::EigenSolverEnvironment::~EigenSolverEnvironment ( )

Definition at line 25 of file EigenSolverEnvironment.cpp.

Member Function Documentation

◆ getMaximalNumberOfIterations()

uint64_t const & storm::EigenSolverEnvironment::getMaximalNumberOfIterations ( ) const

Definition at line 58 of file EigenSolverEnvironment.cpp.

◆ getMethod()

storm::solver::EigenLinearEquationSolverMethod const & storm::EigenSolverEnvironment::getMethod ( ) const

Definition at line 29 of file EigenSolverEnvironment.cpp.

◆ getPrecision()

storm::RationalNumber const & storm::EigenSolverEnvironment::getPrecision ( ) const

Definition at line 66 of file EigenSolverEnvironment.cpp.

◆ getPreconditioner()

storm::solver::EigenLinearEquationSolverPreconditioner const & storm::EigenSolverEnvironment::getPreconditioner ( ) const

Definition at line 42 of file EigenSolverEnvironment.cpp.

◆ getRestartThreshold()

uint64_t const & storm::EigenSolverEnvironment::getRestartThreshold ( ) const

Definition at line 50 of file EigenSolverEnvironment.cpp.

◆ isMethodSetFromDefault()

bool storm::EigenSolverEnvironment::isMethodSetFromDefault ( ) const

Definition at line 33 of file EigenSolverEnvironment.cpp.

◆ setMaximalNumberOfIterations()

void storm::EigenSolverEnvironment::setMaximalNumberOfIterations ( uint64_t  value)

Definition at line 62 of file EigenSolverEnvironment.cpp.

◆ setMethod()

void storm::EigenSolverEnvironment::setMethod ( storm::solver::EigenLinearEquationSolverMethod  value)

Definition at line 37 of file EigenSolverEnvironment.cpp.

◆ setPrecision()

void storm::EigenSolverEnvironment::setPrecision ( storm::RationalNumber  value)

Definition at line 70 of file EigenSolverEnvironment.cpp.

◆ setPreconditioner()

void storm::EigenSolverEnvironment::setPreconditioner ( storm::solver::EigenLinearEquationSolverPreconditioner  value)

Definition at line 46 of file EigenSolverEnvironment.cpp.

◆ setRestartThreshold()

void storm::EigenSolverEnvironment::setRestartThreshold ( uint64_t  value)

Definition at line 54 of file EigenSolverEnvironment.cpp.

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