storm::OviSolverEnvironment Class Reference

#include <OviSolverEnvironment.h>

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

Detailed Description

Definition at line 10 of file OviSolverEnvironment.h.

Constructor & Destructor Documentation

OviSolverEnvironment()

storm::OviSolverEnvironment::OviSolverEnvironment

(

)

Definition at line 9 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 16 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