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

#include <MinMaxSolverEnvironment.h>

Public Member Functions

 MinMaxSolverEnvironment ()
 
 ~MinMaxSolverEnvironment ()
 
storm::solver::MinMaxMethod const & getMethod () const
 
bool const & isMethodSetFromDefault () const
 
void setMethod (storm::solver::MinMaxMethod value, bool isSetFromDefault=false)
 
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)
 
bool isForceRequireUnique () const
 
void setForceRequireUnique (bool value)
 
MinMaxLpSolverEnvironment const & lp () const
 
MinMaxLpSolverEnvironment & lp ()
 

Detailed Description

Definition at line 13 of file MinMaxSolverEnvironment.h.

Constructor & Destructor Documentation

◆ MinMaxSolverEnvironment()

storm::MinMaxSolverEnvironment::MinMaxSolverEnvironment ( )

Definition at line 11 of file MinMaxSolverEnvironment.cpp.

◆ ~MinMaxSolverEnvironment()

storm::MinMaxSolverEnvironment::~MinMaxSolverEnvironment ( )

Definition at line 31 of file MinMaxSolverEnvironment.cpp.

Member Function Documentation

◆ getMaximalNumberOfIterations()

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

Definition at line 48 of file MinMaxSolverEnvironment.cpp.

◆ getMethod()

storm::solver::MinMaxMethod const & storm::MinMaxSolverEnvironment::getMethod ( ) const

Definition at line 35 of file MinMaxSolverEnvironment.cpp.

◆ getMultiplicationStyle()

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

Definition at line 72 of file MinMaxSolverEnvironment.cpp.

◆ getPrecision()

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

Definition at line 56 of file MinMaxSolverEnvironment.cpp.

◆ getRelativeTerminationCriterion()

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

Definition at line 64 of file MinMaxSolverEnvironment.cpp.

◆ isForceRequireUnique()

bool storm::MinMaxSolverEnvironment::isForceRequireUnique ( ) const

Definition at line 87 of file MinMaxSolverEnvironment.cpp.

◆ isMethodSetFromDefault()

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

Definition at line 39 of file MinMaxSolverEnvironment.cpp.

◆ lp() [1/2]

MinMaxLpSolverEnvironment & storm::MinMaxSolverEnvironment::lp ( )

Definition at line 83 of file MinMaxSolverEnvironment.cpp.

◆ lp() [2/2]

MinMaxLpSolverEnvironment const & storm::MinMaxSolverEnvironment::lp ( ) const

Definition at line 80 of file MinMaxSolverEnvironment.cpp.

◆ setForceRequireUnique()

void storm::MinMaxSolverEnvironment::setForceRequireUnique ( bool  value)

Definition at line 91 of file MinMaxSolverEnvironment.cpp.

◆ setMaximalNumberOfIterations()

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

Definition at line 52 of file MinMaxSolverEnvironment.cpp.

◆ setMethod()

void storm::MinMaxSolverEnvironment::setMethod ( storm::solver::MinMaxMethod  value,
bool  isSetFromDefault = false 
)

Definition at line 43 of file MinMaxSolverEnvironment.cpp.

◆ setMultiplicationStyle()

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

Definition at line 76 of file MinMaxSolverEnvironment.cpp.

◆ setPrecision()

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

Definition at line 60 of file MinMaxSolverEnvironment.cpp.

◆ setRelativeTerminationCriterion()

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

Definition at line 68 of file MinMaxSolverEnvironment.cpp.

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