storm::utility::kwek_mehlhorn Namespace Reference

Functions
template<typename IntegerType>
std::pair< IntegerType, IntegerType >	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 >	truncateToRational (ImpreciseType const &value, uint64_t precision)
template<typename RationalType>
std::pair< typename NumberTraits< RationalType >::IntegerType, typename NumberTraits< RationalType >::IntegerType >	truncateToRational (double const &value, uint64_t precision)
template<typename RationalType, typename ImpreciseType>
RationalType	findRational (uint64_t precision, ImpreciseType const &value)
template<typename RationalType, typename ImpreciseType>
RationalType	sharpen (uint64_t precision, ImpreciseType const &value)
template<typename RationalType, typename ImpreciseType>
void	sharpen (uint64_t precision, std::vector< ImpreciseType > const &input, std::vector< RationalType > &output)
template storm::RationalNumber	sharpen (uint64_t precision, double const &input)
template storm::RationalNumber	sharpen (uint64_t precision, storm::RationalNumber const &input)
template void	sharpen (uint64_t precision, std::vector< double > const &input, std::vector< storm::RationalNumber > &output)
template void	sharpen (uint64_t precision, std::vector< storm::RationalNumber > const &input, std::vector< storm::RationalNumber > &output)

Function Documentation

findRational() [1/2]

template<typename IntegerType>

std::pair< IntegerType, IntegerType > storm::utility::kwek_mehlhorn::findRational	(	IntegerType const &	alpha,
		IntegerType const &	beta,
		IntegerType const &	gamma,
		IntegerType const &	delta )

Definition at line 12 of file KwekMehlhorn.cpp.

findRational() [2/2]

template<typename RationalType, typename ImpreciseType>

RationalType storm::utility::kwek_mehlhorn::findRational	(	uint64_t	precision,
		ImpreciseType const &	value )

Definition at line 53 of file KwekMehlhorn.cpp.

sharpen() [1/6]

template storm::RationalNumber storm::utility::kwek_mehlhorn::sharpen	(	uint64_t	precision,
		double const &	input )

sharpen() [2/6]

template<typename RationalType, typename ImpreciseType>

RationalType storm::utility::kwek_mehlhorn::sharpen	(	uint64_t	precision,
		ImpreciseType const &	value )

Definition at line 65 of file KwekMehlhorn.cpp.

sharpen() [3/6]

template void storm::utility::kwek_mehlhorn::sharpen	(	uint64_t	precision,
		std::vector< double > const &	input,
		std::vector< storm::RationalNumber > &	output )

sharpen() [4/6]

template<typename RationalType, typename ImpreciseType>

void storm::utility::kwek_mehlhorn::sharpen	(	uint64_t	precision,
		std::vector< ImpreciseType > const &	input,
		std::vector< RationalType > &	output )

Definition at line 73 of file KwekMehlhorn.cpp.

sharpen() [5/6]

template void storm::utility::kwek_mehlhorn::sharpen	(	uint64_t	precision,
		std::vector< storm::RationalNumber > const &	input,
		std::vector< storm::RationalNumber > &	output )

sharpen() [6/6]

template storm::RationalNumber storm::utility::kwek_mehlhorn::sharpen	(	uint64_t	precision,
		storm::RationalNumber const &	input )

truncateToRational() [1/2]

template<typename RationalType>

std::pair< typename NumberTraits< RationalType >::IntegerType, typename NumberTraits< RationalType >::IntegerType > storm::utility::kwek_mehlhorn::truncateToRational	(	double const &	value,
		uint64_t	precision )

Definition at line 40 of file KwekMehlhorn.cpp.

truncateToRational() [2/2]

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 )

Definition at line 30 of file KwekMehlhorn.cpp.