Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
storm::GameSolverEnvironment Class Reference

#include <GameSolverEnvironment.h>

Public Member Functions

 GameSolverEnvironment ()
 
 ~GameSolverEnvironment ()
 
storm::solver::GameMethod const & getMethod () const
 
bool const & isMethodSetFromDefault () const
 
void setMethod (storm::solver::GameMethod 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 & getMultiplicationStyle () const
 
void setMultiplicationStyle (storm::solver::MultiplicationStyle value)
 

Detailed Description

Definition at line 11 of file GameSolverEnvironment.h.

Constructor & Destructor Documentation

◆ GameSolverEnvironment()

storm::GameSolverEnvironment::GameSolverEnvironment ( )

Definition at line 10 of file GameSolverEnvironment.cpp.

◆ ~GameSolverEnvironment()

storm::GameSolverEnvironment::~GameSolverEnvironment ( )

Definition at line 28 of file GameSolverEnvironment.cpp.

Member Function Documentation

◆ getMaximalNumberOfIterations()

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

Definition at line 45 of file GameSolverEnvironment.cpp.

◆ getMethod()

storm::solver::GameMethod const & storm::GameSolverEnvironment::getMethod ( ) const

Definition at line 32 of file GameSolverEnvironment.cpp.

◆ getMultiplicationStyle()

storm::solver::MultiplicationStyle const & storm::GameSolverEnvironment::getMultiplicationStyle ( ) const

◆ getPrecision()

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

Definition at line 53 of file GameSolverEnvironment.cpp.

◆ getRelativeTerminationCriterion()

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

Definition at line 61 of file GameSolverEnvironment.cpp.

◆ isMethodSetFromDefault()

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

Definition at line 36 of file GameSolverEnvironment.cpp.

◆ setMaximalNumberOfIterations()

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

Definition at line 49 of file GameSolverEnvironment.cpp.

◆ setMethod()

void storm::GameSolverEnvironment::setMethod ( storm::solver::GameMethod  value)

Definition at line 40 of file GameSolverEnvironment.cpp.

◆ setMultiplicationStyle()

void storm::GameSolverEnvironment::setMultiplicationStyle ( storm::solver::MultiplicationStyle  value)

◆ setPrecision()

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

Definition at line 57 of file GameSolverEnvironment.cpp.

◆ setRelativeTerminationCriterion()

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

Definition at line 65 of file GameSolverEnvironment.cpp.

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