Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
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)
 
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 11 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 31 of file NativeSolverEnvironment.cpp.

Member Function Documentation

◆ getMaximalNumberOfIterations()

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

Definition at line 48 of file NativeSolverEnvironment.cpp.

◆ getMethod()

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

Definition at line 35 of file NativeSolverEnvironment.cpp.

◆ getPowerMethodMultiplicationStyle()

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

Definition at line 72 of file NativeSolverEnvironment.cpp.

◆ getPrecision()

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

Definition at line 56 of file NativeSolverEnvironment.cpp.

◆ getRelativeTerminationCriterion()

bool const & storm::NativeSolverEnvironment::getRelativeTerminationCriterion ( ) const

Definition at line 64 of file NativeSolverEnvironment.cpp.

◆ getSorOmega()

storm::RationalNumber const & storm::NativeSolverEnvironment::getSorOmega ( ) const

Definition at line 80 of file NativeSolverEnvironment.cpp.

◆ isMethodSetFromDefault()

bool const & storm::NativeSolverEnvironment::isMethodSetFromDefault ( ) const

Definition at line 39 of file NativeSolverEnvironment.cpp.

◆ isSymmetricUpdatesSet()

bool storm::NativeSolverEnvironment::isSymmetricUpdatesSet ( ) const

Definition at line 88 of file NativeSolverEnvironment.cpp.

◆ setMaximalNumberOfIterations()

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

Definition at line 52 of file NativeSolverEnvironment.cpp.

◆ setMethod()

void storm::NativeSolverEnvironment::setMethod ( storm::solver::NativeLinearEquationSolverMethod  value)

Definition at line 43 of file NativeSolverEnvironment.cpp.

◆ setPowerMethodMultiplicationStyle()

void storm::NativeSolverEnvironment::setPowerMethodMultiplicationStyle ( storm::solver::MultiplicationStyle  value)

Definition at line 76 of file NativeSolverEnvironment.cpp.

◆ setPrecision()

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

Definition at line 60 of file NativeSolverEnvironment.cpp.

◆ setRelativeTerminationCriterion()

void storm::NativeSolverEnvironment::setRelativeTerminationCriterion ( bool  value)

Definition at line 68 of file NativeSolverEnvironment.cpp.

◆ setSorOmega()

void storm::NativeSolverEnvironment::setSorOmega ( storm::RationalNumber const &  value)

Definition at line 84 of file NativeSolverEnvironment.cpp.

◆ setSymmetricUpdates()

void storm::NativeSolverEnvironment::setSymmetricUpdates ( bool  value)

Definition at line 92 of file NativeSolverEnvironment.cpp.

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