storm::utility::numerical Namespace Reference

Classes
struct	FoxGlynnResult

Functions
template<typename ValueType >
FoxGlynnResult< ValueType >	foxGlynnFinder (ValueType lambda, ValueType epsilon)
	The following implementation of Fox and Glynn's algorithm is taken from David Jansen's patched version in MRMC, which is based on his paper:
template<typename ValueType >
FoxGlynnResult< ValueType >	foxGlynnWeighter (ValueType lambda, ValueType epsilon)
template<typename ValueType >
FoxGlynnResult< ValueType >	foxGlynn (ValueType lambda, ValueType epsilon)
template FoxGlynnResult< double >	foxGlynn (double lambda, double epsilon)

Function Documentation

foxGlynn() [1/2]

template FoxGlynnResult< double > storm::utility::numerical::foxGlynn	(	double	lambda,
		double	epsilon
	)

foxGlynn() [2/2]

template<typename ValueType >

FoxGlynnResult< ValueType > storm::utility::numerical::foxGlynn	(	ValueType	lambda,
		ValueType	epsilon
	)

Definition at line 269 of file numerical.cpp.

foxGlynnFinder()

template<typename ValueType >

FoxGlynnResult< ValueType > storm::utility::numerical::foxGlynnFinder	(	ValueType	lambda,
		ValueType	epsilon
	)

The following implementation of Fox and Glynn's algorithm is taken from David Jansen's patched version in MRMC, which is based on his paper:

https://pms.cs.ru.nl/iris-diglib/src/getContent.php?id=2011-Jansen-UnderstandingFoxGlynn

We have only adapted the code to match more of C++'s and our coding guidelines.

Definition at line 30 of file numerical.cpp.

foxGlynnWeighter()

template<typename ValueType >

FoxGlynnResult< ValueType > storm::utility::numerical::foxGlynnWeighter	(	ValueType	lambda,
		ValueType	epsilon
	)

Definition at line 204 of file numerical.cpp.