storm::OviSolverEnvironment Class Reference

#include <OviSolverEnvironment.h>

Public Member Functions
	OviSolverEnvironment ()
	~OviSolverEnvironment ()=default
std::optional< storm::RationalNumber > const &	getUpperBoundGuessingFactor () const
void	setUpperBoundGuessingFactor (storm::RationalNumber value)
void	unsetUpperBoundGuessingFactor ()

Detailed Description

Definition at line 10 of file OviSolverEnvironment.h.

Constructor & Destructor Documentation

OviSolverEnvironment()

storm::OviSolverEnvironment::OviSolverEnvironment

(

)

Definition at line 7 of file OviSolverEnvironment.cpp.

~OviSolverEnvironment()

storm::OviSolverEnvironment::~OviSolverEnvironment ( )

default

Member Function Documentation

getUpperBoundGuessingFactor()

std::optional< storm::RationalNumber > const & storm::OviSolverEnvironment::getUpperBoundGuessingFactor

(

)

const

Definition at line 11 of file OviSolverEnvironment.cpp.

setUpperBoundGuessingFactor()

void storm::OviSolverEnvironment::setUpperBoundGuessingFactor

(

storm::RationalNumber

value

)

Definition at line 15 of file OviSolverEnvironment.cpp.

unsetUpperBoundGuessingFactor()

void storm::OviSolverEnvironment::unsetUpperBoundGuessingFactor

(

)

Definition at line 19 of file OviSolverEnvironment.cpp.

---

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

• src/storm/environment/solver/OviSolverEnvironment.h
• src/storm/environment/solver/OviSolverEnvironment.cpp