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

Member Function Documentation

◆ getMaximalNumberOfIterations()

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

Definition at line 52 of file GmmxxSolverEnvironment.cpp.

◆ getMethod()

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

Definition at line 28 of file GmmxxSolverEnvironment.cpp.

◆ getPrecision()

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

Definition at line 60 of file GmmxxSolverEnvironment.cpp.

◆ getPreconditioner()

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

Definition at line 36 of file GmmxxSolverEnvironment.cpp.

◆ getRestartThreshold()

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

Definition at line 44 of file GmmxxSolverEnvironment.cpp.

◆ setMaximalNumberOfIterations()

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

Definition at line 56 of file GmmxxSolverEnvironment.cpp.

◆ setMethod()

void storm::GmmxxSolverEnvironment::setMethod ( storm::solver::GmmxxLinearEquationSolverMethod  value)

Definition at line 32 of file GmmxxSolverEnvironment.cpp.

◆ setPrecision()

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

Definition at line 64 of file GmmxxSolverEnvironment.cpp.

◆ setPreconditioner()

void storm::GmmxxSolverEnvironment::setPreconditioner ( storm::solver::GmmxxLinearEquationSolverPreconditioner  value)

Definition at line 40 of file GmmxxSolverEnvironment.cpp.

◆ setRestartThreshold()

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

Definition at line 48 of file GmmxxSolverEnvironment.cpp.

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