numerical.cpp File Reference

#include "storm/utility/numerical.h"
#include <boost/math/constants/constants.hpp>
#include <cmath>
#include "storm/exceptions/InvalidArgumentException.h"
#include "storm/exceptions/PrecisionExceededException.h"
#include "storm/utility/constants.h"
#include "storm/utility/macros.h"

Include dependency graph for numerical.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::utility
namespace	storm::utility::numerical

Functions
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:
template<typename ValueType >
FoxGlynnResult< ValueType >	storm::utility::numerical::foxGlynnWeighter (ValueType lambda, ValueType epsilon)
template<typename ValueType >
FoxGlynnResult< ValueType >	storm::utility::numerical::foxGlynn (ValueType lambda, ValueType epsilon)
template FoxGlynnResult< double >	storm::utility::numerical::foxGlynn (double lambda, double epsilon)