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 15 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 56 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 68 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 76 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 43 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 33 of file KwekMehlhorn.cpp.