KwekMehlhorn.cpp File Reference

#include "storm/utility/KwekMehlhorn.h"
#include "storm/adapters/RationalNumberAdapter.h"
#include "storm/exceptions/PrecisionExceededException.h"
#include "storm/utility/constants.h"

Include dependency graph for KwekMehlhorn.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::utility
namespace	storm::utility::kwek_mehlhorn

Functions
template<typename IntegerType>
std::pair< IntegerType, IntegerType >	storm::utility::kwek_mehlhorn::findRational (IntegerType const &alpha, IntegerType const &beta, IntegerType const &gamma, IntegerType const &delta)
template<typename RationalType, typename ImpreciseType>
std::pair< typename NumberTraits< RationalType >::IntegerType, typename NumberTraits< RationalType >::IntegerType >	storm::utility::kwek_mehlhorn::truncateToRational (ImpreciseType const &value, uint64_t precision)
template<typename RationalType>
std::pair< typename NumberTraits< RationalType >::IntegerType, typename NumberTraits< RationalType >::IntegerType >	storm::utility::kwek_mehlhorn::truncateToRational (double const &value, uint64_t precision)
template<typename RationalType, typename ImpreciseType>
RationalType	storm::utility::kwek_mehlhorn::findRational (uint64_t precision, ImpreciseType const &value)
template<typename RationalType, typename ImpreciseType>
RationalType	storm::utility::kwek_mehlhorn::sharpen (uint64_t precision, ImpreciseType const &value)
template<typename RationalType, typename ImpreciseType>
void	storm::utility::kwek_mehlhorn::sharpen (uint64_t precision, std::vector< ImpreciseType > const &input, std::vector< RationalType > &output)
template storm::RationalNumber	storm::utility::kwek_mehlhorn::sharpen (uint64_t precision, double const &input)
template storm::RationalNumber	storm::utility::kwek_mehlhorn::sharpen (uint64_t precision, storm::RationalNumber const &input)
template void	storm::utility::kwek_mehlhorn::sharpen (uint64_t precision, std::vector< double > const &input, std::vector< storm::RationalNumber > &output)
template void	storm::utility::kwek_mehlhorn::sharpen (uint64_t precision, std::vector< storm::RationalNumber > const &input, std::vector< storm::RationalNumber > &output)