constants.h File Reference

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

Include dependency graph for constants.h:

Go to the source code of this file.

Classes
struct	storm::utility::detail::ElementLess< ValueType >
struct	storm::utility::detail::DoubleLess
struct	storm::utility::detail::ElementLess< double >
struct	storm::utility::detail::ElementGreater< ValueType >
struct	storm::utility::detail::DoubleGreater
struct	storm::utility::detail::ElementGreater< double >

Namespaces
namespace	storm
namespace	storm::storage
namespace	storm::utility
namespace	storm::utility::detail

Typedefs
template<typename ValueType>
using	storm::utility::ElementLess = typename detail::ElementLess<ValueType>::type
template<typename ValueType>
using	storm::utility::ElementGreater = typename detail::ElementGreater<ValueType>::type

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::isApproxEqual (ValueType const &a, ValueType const &b, ValueType const &precision, bool relative)
template<typename ValueType>
bool	storm::utility::isPositive (ValueType const &a)
template<typename ValueType>
bool	storm::utility::isNonNegative (ValueType const &a)
template<typename ValueType>
bool	storm::utility::isBetween (ValueType const &a, ValueType const &b, ValueType const &c, bool strict)
	Compare whether a <= b <= c or a < b < c, based on the strictness parameter.
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<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<typename TargetType, typename SourceType>
TargetType	storm::utility::convertNumber (SourceType const &number)
template<typename ValueType>
std::pair< ValueType, ValueType >	storm::utility::asFraction (ValueType const &number)
template<typename ValueType>
ValueType	storm::utility::simplify (ValueType value)
template<typename IndexType, typename ValueType>
storm::storage::MatrixEntry< IndexType, ValueType > &	storm::utility::simplify (storm::storage::MatrixEntry< IndexType, ValueType > &matrixEntry)
template<typename IndexType, typename ValueType>
storm::storage::MatrixEntry< IndexType, ValueType > &&	storm::utility::simplify (storm::storage::MatrixEntry< IndexType, ValueType > &&matrixEntry)
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>
uint64_t	storm::utility::numDigits (ValueType const &number)
template<typename ValueType>
uint64_t	storm::utility::bitsize (ValueType const &number)
	Returns the minimum number of bits to represent the given number.
template<typename ValueType>
NumberTraits< ValueType >::IntegerType	storm::utility::trunc (ValueType const &number)
template<typename RationalType>
NumberTraits< RationalType >::IntegerType	storm::utility::numerator (RationalType const &number)
template<typename RationalType>
NumberTraits< RationalType >::IntegerType	storm::utility::denominator (RationalType const &number)
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 IntegerType>
IntegerType	storm::utility::mod (IntegerType const &first, IntegerType const &second)
template<typename ValueType>
std::string	storm::utility::to_string (ValueType const &value)