constants.cpp File Reference

#include "storm/utility/constants.h"
#include <cmath>
#include <type_traits>
#include "storm/storage/sparse/StateType.h"
#include "storm/exceptions/InvalidArgumentException.h"
#include "storm/adapters/RationalFunctionAdapter.h"
#include "storm/utility/NumberTraits.h"
#include "storm/exceptions/NotSupportedException.h"
#include "storm/utility/macros.h"

Include dependency graph for constants.cpp:

Go to the source code of this file.

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

Functions
template<typename ValueType >
ValueType	storm::utility::one ()
template<typename ValueType >
ValueType	storm::utility::zero ()
template<typename ValueType >
ValueType	storm::utility::infinity ()
template<typename ValueType >
bool	storm::utility::isOne (ValueType const &a)
template<typename ValueType >
bool	storm::utility::isZero (ValueType const &a)
template<typename ValueType >
bool	storm::utility::isNan (ValueType const &)
template<>
bool	storm::utility::isNan (double const &value)
template<typename ValueType >
bool	storm::utility::isAlmostZero (ValueType const &a)
template<typename ValueType >
bool	storm::utility::isAlmostOne (ValueType const &a)
template<typename ValueType >
bool	storm::utility::isConstant (ValueType const &)
template<typename ValueType >
bool	storm::utility::isInfinity (ValueType const &a)
template<typename ValueType >
bool	storm::utility::isInteger (ValueType const &number)
template<>
bool	storm::utility::isInteger (int const &)
template<>
bool	storm::utility::isInteger (uint32_t const &)
template<>
bool	storm::utility::isInteger (storm::storage::sparse::state_type const &)
template<typename TargetType , typename SourceType >
TargetType	storm::utility::convertNumber (SourceType const &number)
template<>
uint_fast64_t	storm::utility::convertNumber (double const &number)
template<>
int_fast64_t	storm::utility::convertNumber (double const &number)
template<>
double	storm::utility::convertNumber (uint_fast64_t const &number)
template<>
double	storm::utility::convertNumber (double const &number)
template<>
double	storm::utility::convertNumber (long long const &number)
template<>
storm::storage::sparse::state_type	storm::utility::convertNumber (long long const &number)
template<typename ValueType >
ValueType	storm::utility::simplify (ValueType value)
template<typename ValueType >
std::pair< ValueType, ValueType >	storm::utility::minmax (std::vector< ValueType > const &values)
template<typename ValueType >
ValueType	storm::utility::minimum (std::vector< ValueType > const &values)
template<typename ValueType >
ValueType	storm::utility::maximum (std::vector< ValueType > const &values)
template<typename K , typename ValueType >
std::pair< ValueType, ValueType >	storm::utility::minmax (std::map< K, ValueType > const &values)
template<typename K , typename ValueType >
ValueType	storm::utility::minimum (std::map< K, ValueType > const &values)
template<typename K , typename ValueType >
ValueType	storm::utility::maximum (std::map< K, ValueType > const &values)
template<typename ValueType >
ValueType	storm::utility::pow (ValueType const &value, int_fast64_t exponent)
template<typename ValueType >
ValueType	storm::utility::max (ValueType const &first, ValueType const &second)
template<typename ValueType >
ValueType	storm::utility::min (ValueType const &first, ValueType const &second)
template<typename ValueType >
ValueType	storm::utility::sqrt (ValueType const &number)
template<typename ValueType >
ValueType	storm::utility::abs (ValueType const &number)
template<typename ValueType >
ValueType	storm::utility::floor (ValueType const &number)
template<typename ValueType >
ValueType	storm::utility::ceil (ValueType const &number)
template<typename ValueType >
ValueType	storm::utility::round (ValueType const &number)
template<typename ValueType >
ValueType	storm::utility::log (ValueType const &number)
template<typename ValueType >
ValueType	storm::utility::log10 (ValueType const &number)
template<typename ValueType >
ValueType	storm::utility::cos (ValueType const &number)
template<typename ValueType >
ValueType	storm::utility::sin (ValueType const &number)
template<typename ValueType >
NumberTraits< ValueType >::IntegerType	storm::utility::trunc (ValueType const &number)
template<typename IntegerType >
IntegerType	storm::utility::mod (IntegerType const &first, IntegerType const &second)
template<typename IntegerType >
std::pair< IntegerType, IntegerType >	storm::utility::divide (IntegerType const &dividend, IntegerType const &divisor)
	(Integer-)Divides the dividend by the divisor and returns the result plus the remainder.
template<typename ValueType >
std::string	storm::utility::to_string (ValueType const &value)
template<>
double	storm::utility::convertNumber (std::string const &value)
template<>
storm::Interval	storm::utility::convertNumber (double const &number)
template<>
storm::Interval	storm::utility::convertNumber (storm::RationalNumber const &n)
template<>
storm::RationalNumber	storm::utility::convertNumber (storm::Interval const &number)
template<>
double	storm::utility::convertNumber (storm::Interval const &number)
template<>
storm::Interval	storm::utility::abs (storm::Interval const &interval)
template double	storm::utility::one ()
template double	storm::utility::zero ()
template double	storm::utility::infinity ()
template bool	storm::utility::isOne (double const &value)
template bool	storm::utility::isZero (double const &value)
template bool	storm::utility::isAlmostZero (double const &value)
template bool	storm::utility::isAlmostOne (double const &value)
template bool	storm::utility::isConstant (double const &value)
template bool	storm::utility::isInfinity (double const &value)
template bool	storm::utility::isInteger (double const &number)
template double	storm::utility::simplify (double value)
template std::pair< double, double >	storm::utility::minmax (std::vector< double > const &)
template double	storm::utility::minimum (std::vector< double > const &)
template double	storm::utility::maximum (std::vector< double > const &)
template std::pair< double, double >	storm::utility::minmax (std::map< uint64_t, double > const &)
template double	storm::utility::minimum (std::map< uint64_t, double > const &)
template double	storm::utility::maximum (std::map< uint64_t, double > const &)
template double	storm::utility::pow (double const &value, int_fast64_t exponent)
template double	storm::utility::max (double const &first, double const &second)
template double	storm::utility::min (double const &first, double const &second)
template double	storm::utility::sqrt (double const &number)
template double	storm::utility::abs (double const &number)
template double	storm::utility::floor (double const &number)
template double	storm::utility::ceil (double const &number)
template double	storm::utility::round (double const &number)
template double	storm::utility::log (double const &number)
template double	storm::utility::log10 (double const &number)
template double	storm::utility::cos (double const &number)
template double	storm::utility::sin (double const &number)
template NumberTraits< double >::IntegerType	storm::utility::trunc (double const &number)
template double	storm::utility::mod (double const &first, double const &second)
template std::string	storm::utility::to_string (double const &value)
template bool	storm::utility::isOne (int const &value)
template bool	storm::utility::isZero (int const &value)
template bool	storm::utility::isConstant (int const &value)
template bool	storm::utility::isInfinity (int const &value)
template bool	storm::utility::isOne (uint32_t const &value)
template bool	storm::utility::isZero (uint32_t const &value)
template bool	storm::utility::isConstant (uint32_t const &value)
template bool	storm::utility::isInfinity (uint32_t const &value)
template bool	storm::utility::isOne (storm::storage::sparse::state_type const &value)
template bool	storm::utility::isZero (storm::storage::sparse::state_type const &value)
template bool	storm::utility::isConstant (storm::storage::sparse::state_type const &value)
template bool	storm::utility::isInfinity (storm::storage::sparse::state_type const &value)
template unsigned long	storm::utility::convertNumber (long const &)