KwekMehlhorn.h File Reference

#include <cstdint>
#include <utility>
#include <vector>
#include "storm/utility/NumberTraits.h"

Include dependency graph for KwekMehlhorn.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
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)