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 9 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:

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