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

#include <SolverEnvironment.h>

Public Member Functions

 SolverEnvironment ()
 
 ~SolverEnvironment ()
 
EigenSolverEnvironment & eigen ()
 
EigenSolverEnvironment const & eigen () const
 
GmmxxSolverEnvironment & gmmxx ()
 
GmmxxSolverEnvironment const & gmmxx () const
 
NativeSolverEnvironment & native ()
 
NativeSolverEnvironment const & native () const
 
LongRunAverageSolverEnvironment & lra ()
 
LongRunAverageSolverEnvironment const & lra () const
 
TimeBoundedSolverEnvironment & timeBounded ()
 
TimeBoundedSolverEnvironment const & timeBounded () const
 
MinMaxSolverEnvironment & minMax ()
 
MinMaxSolverEnvironment const & minMax () const
 
MultiplierEnvironment & multiplier ()
 
MultiplierEnvironment const & multiplier () const
 
OviSolverEnvironment const & ovi () const
 
OviSolverEnvironment & ovi ()
 
GameSolverEnvironment & game ()
 
GameSolverEnvironment const & game () const
 
TopologicalSolverEnvironment & topological ()
 
TopologicalSolverEnvironment const & topological () const
 
bool isForceSoundness () const
 
void setForceSoundness (bool value)
 
bool isForceExact () const
 
void setForceExact (bool value)
 
storm::solver::EquationSolverType const & getLinearEquationSolverType () const
 
void setLinearEquationSolverType (storm::solver::EquationSolverType const &value, bool isSetFromDefault=false)
 
bool isLinearEquationSolverTypeSetFromDefaultValue () const
 
std::pair< boost::optional< storm::RationalNumber >, boost::optional< bool > > getPrecisionOfLinearEquationSolver (storm::solver::EquationSolverType const &solverType) const
 
void setLinearEquationSolverPrecision (boost::optional< storm::RationalNumber > const &newPrecision, boost::optional< bool > const &relativePrecision=boost::none)
 

Detailed Description

Definition at line 25 of file SolverEnvironment.h.

Constructor & Destructor Documentation

◆ SolverEnvironment()

storm::SolverEnvironment::SolverEnvironment ( )

Definition at line 15 of file SolverEnvironment.cpp.

◆ ~SolverEnvironment()

storm::SolverEnvironment::~SolverEnvironment ( )

Definition at line 23 of file SolverEnvironment.cpp.

Member Function Documentation

◆ eigen() [1/2]

EigenSolverEnvironment & storm::SolverEnvironment::eigen ( )

Definition at line 59 of file SolverEnvironment.cpp.

◆ eigen() [2/2]

EigenSolverEnvironment const & storm::SolverEnvironment::eigen ( ) const

Definition at line 63 of file SolverEnvironment.cpp.

◆ game() [1/2]

GameSolverEnvironment & storm::SolverEnvironment::game ( )

Definition at line 83 of file SolverEnvironment.cpp.

◆ game() [2/2]

GameSolverEnvironment const & storm::SolverEnvironment::game ( ) const

Definition at line 87 of file SolverEnvironment.cpp.

◆ getLinearEquationSolverType()

storm::solver::EquationSolverType const & storm::SolverEnvironment::getLinearEquationSolverType ( ) const

Definition at line 123 of file SolverEnvironment.cpp.

◆ getPrecisionOfLinearEquationSolver()

std::pair< boost::optional< storm::RationalNumber >, boost::optional< bool > > storm::SolverEnvironment::getPrecisionOfLinearEquationSolver ( storm::solver::EquationSolverType const &  solverType) const

Definition at line 136 of file SolverEnvironment.cpp.

◆ gmmxx() [1/2]

GmmxxSolverEnvironment & storm::SolverEnvironment::gmmxx ( )

Definition at line 67 of file SolverEnvironment.cpp.

◆ gmmxx() [2/2]

GmmxxSolverEnvironment const & storm::SolverEnvironment::gmmxx ( ) const

Definition at line 71 of file SolverEnvironment.cpp.

◆ isForceExact()

bool storm::SolverEnvironment::isForceExact ( ) const

Definition at line 115 of file SolverEnvironment.cpp.

◆ isForceSoundness()

bool storm::SolverEnvironment::isForceSoundness ( ) const

Definition at line 107 of file SolverEnvironment.cpp.

◆ isLinearEquationSolverTypeSetFromDefaultValue()

bool storm::SolverEnvironment::isLinearEquationSolverTypeSetFromDefaultValue ( ) const

Definition at line 132 of file SolverEnvironment.cpp.

◆ lra() [1/2]

LongRunAverageSolverEnvironment & storm::SolverEnvironment::lra ( )

Definition at line 27 of file SolverEnvironment.cpp.

◆ lra() [2/2]

LongRunAverageSolverEnvironment const & storm::SolverEnvironment::lra ( ) const

Definition at line 31 of file SolverEnvironment.cpp.

◆ minMax() [1/2]

MinMaxSolverEnvironment & storm::SolverEnvironment::minMax ( )

Definition at line 43 of file SolverEnvironment.cpp.

◆ minMax() [2/2]

MinMaxSolverEnvironment const & storm::SolverEnvironment::minMax ( ) const

Definition at line 47 of file SolverEnvironment.cpp.

◆ multiplier() [1/2]

MultiplierEnvironment & storm::SolverEnvironment::multiplier ( )

Definition at line 51 of file SolverEnvironment.cpp.

◆ multiplier() [2/2]

MultiplierEnvironment const & storm::SolverEnvironment::multiplier ( ) const

Definition at line 55 of file SolverEnvironment.cpp.

◆ native() [1/2]

NativeSolverEnvironment & storm::SolverEnvironment::native ( )

Definition at line 75 of file SolverEnvironment.cpp.

◆ native() [2/2]

NativeSolverEnvironment const & storm::SolverEnvironment::native ( ) const

Definition at line 79 of file SolverEnvironment.cpp.

◆ ovi() [1/2]

OviSolverEnvironment & storm::SolverEnvironment::ovi ( )

Definition at line 99 of file SolverEnvironment.cpp.

◆ ovi() [2/2]

OviSolverEnvironment const & storm::SolverEnvironment::ovi ( ) const

Definition at line 103 of file SolverEnvironment.cpp.

◆ setForceExact()

void storm::SolverEnvironment::setForceExact ( bool  value)

Definition at line 119 of file SolverEnvironment.cpp.

◆ setForceSoundness()

void storm::SolverEnvironment::setForceSoundness ( bool  value)

Definition at line 111 of file SolverEnvironment.cpp.

◆ setLinearEquationSolverPrecision()

void storm::SolverEnvironment::setLinearEquationSolverPrecision ( boost::optional< storm::RationalNumber > const &  newPrecision,
boost::optional< bool > const &  relativePrecision = boost::none 
)

Definition at line 161 of file SolverEnvironment.cpp.

◆ setLinearEquationSolverType()

void storm::SolverEnvironment::setLinearEquationSolverType ( storm::solver::EquationSolverType const &  value,
bool  isSetFromDefault = false 
)

Definition at line 127 of file SolverEnvironment.cpp.

◆ timeBounded() [1/2]

TimeBoundedSolverEnvironment & storm::SolverEnvironment::timeBounded ( )

Definition at line 35 of file SolverEnvironment.cpp.

◆ timeBounded() [2/2]

TimeBoundedSolverEnvironment const & storm::SolverEnvironment::timeBounded ( ) const

Definition at line 39 of file SolverEnvironment.cpp.

◆ topological() [1/2]

TopologicalSolverEnvironment & storm::SolverEnvironment::topological ( )

Definition at line 91 of file SolverEnvironment.cpp.

◆ topological() [2/2]

TopologicalSolverEnvironment const & storm::SolverEnvironment::topological ( ) const

Definition at line 95 of file SolverEnvironment.cpp.

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