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
	LabParser.cpp.
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::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 >
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)