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

#include <TimeBoundedSolverEnvironment.h>

Public Member Functions

 TimeBoundedSolverEnvironment ()
 
 ~TimeBoundedSolverEnvironment ()
 
storm::solver::MaBoundedReachabilityMethod const & getMaMethod () const
 
bool const & isMaMethodSetFromDefault () const
 
void setMaMethod (storm::solver::MaBoundedReachabilityMethod value, bool isSetFromDefault=false)
 
storm::RationalNumber const & getPrecision () const
 
void setPrecision (storm::RationalNumber value)
 
bool const & getRelativeTerminationCriterion () const
 
void setRelativeTerminationCriterion (bool value)
 
storm::RationalNumber const & getUnifPlusKappa () const
 
void setUnifPlusKappa (storm::RationalNumber value)
 

Detailed Description

Definition at line 10 of file TimeBoundedSolverEnvironment.h.

Constructor & Destructor Documentation

◆ TimeBoundedSolverEnvironment()

storm::TimeBoundedSolverEnvironment::TimeBoundedSolverEnvironment ( )

Definition at line 10 of file TimeBoundedSolverEnvironment.cpp.

◆ ~TimeBoundedSolverEnvironment()

storm::TimeBoundedSolverEnvironment::~TimeBoundedSolverEnvironment ( )

Definition at line 19 of file TimeBoundedSolverEnvironment.cpp.

Member Function Documentation

◆ getMaMethod()

storm::solver::MaBoundedReachabilityMethod const & storm::TimeBoundedSolverEnvironment::getMaMethod ( ) const

Definition at line 23 of file TimeBoundedSolverEnvironment.cpp.

◆ getPrecision()

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

Definition at line 36 of file TimeBoundedSolverEnvironment.cpp.

◆ getRelativeTerminationCriterion()

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

Definition at line 44 of file TimeBoundedSolverEnvironment.cpp.

◆ getUnifPlusKappa()

storm::RationalNumber const & storm::TimeBoundedSolverEnvironment::getUnifPlusKappa ( ) const

Definition at line 52 of file TimeBoundedSolverEnvironment.cpp.

◆ isMaMethodSetFromDefault()

bool const & storm::TimeBoundedSolverEnvironment::isMaMethodSetFromDefault ( ) const

Definition at line 27 of file TimeBoundedSolverEnvironment.cpp.

◆ setMaMethod()

void storm::TimeBoundedSolverEnvironment::setMaMethod ( storm::solver::MaBoundedReachabilityMethod  value,
bool  isSetFromDefault = false 
)

Definition at line 31 of file TimeBoundedSolverEnvironment.cpp.

◆ setPrecision()

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

Definition at line 40 of file TimeBoundedSolverEnvironment.cpp.

◆ setRelativeTerminationCriterion()

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

Definition at line 48 of file TimeBoundedSolverEnvironment.cpp.

◆ setUnifPlusKappa()

void storm::TimeBoundedSolverEnvironment::setUnifPlusKappa ( storm::RationalNumber  value)

Definition at line 56 of file TimeBoundedSolverEnvironment.cpp.

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