Loading...
Searching...
No Matches
constants.cpp File Reference
#include "storm/utility/constants.h"#include <cmath>#include "storm/adapters/IntervalAdapter.h"#include "storm/adapters/RationalFunctionAdapter.h"#include "storm/adapters/RationalNumberAdapter.h"#include "storm/exceptions/InvalidArgumentException.h"#include "storm/exceptions/NotSupportedException.h"#include "storm/storage/sparse/StateType.h"#include "storm/utility/NumberTraits.h"#include "storm/utility/logging.h"#include "storm/utility/macros.h"
Include dependency graph for constants.cpp:
Go to the source code of this file.
Namespaces | |
| namespace | storm |
| 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::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::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> | |
| 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 IntegerType> | |
| IntegerType | storm::utility::mod (IntegerType const &first, IntegerType const &second) |
| template<typename IntegerType> | |
| std::pair< IntegerType, IntegerType > | storm::utility::divide (IntegerType const ÷nd, 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<> | |
| storm::RationalFunction | storm::utility::infinity () |
| template<> | |
| bool | storm::utility::isOne (storm::RationalFunction const &a) |
| template<> | |
| bool | storm::utility::isOne (storm::Polynomial const &a) |
| template<> | |
| bool | storm::utility::isZero (storm::RationalFunction const &a) |
| template<> | |
| bool | storm::utility::isZero (storm::Polynomial const &a) |
| template<> | |
| bool | storm::utility::isConstant (storm::RationalFunction const &a) |
| template<> | |
| bool | storm::utility::isConstant (storm::Polynomial const &a) |
| template<> | |
| bool | storm::utility::isApproxEqual (storm::RationalFunction const &a, storm::RationalFunction const &b, storm::RationalFunction const &precision, bool relative) |
| template<> | |
| bool | storm::utility::isConstant (storm::Interval const &a) |
| template<> | |
| bool | storm::utility::isConstant (storm::RationalInterval const &a) |
| template<> | |
| bool | storm::utility::isInfinity (storm::RationalFunction const &a) |
| template<> | |
| bool | storm::utility::isInteger (storm::RationalFunction const &func) |
| template<> | |
| RationalFunction | storm::utility::convertNumber (double const &number) |
| template<> | |
| RationalFunction | storm::utility::convertNumber (int_fast64_t const &number) |
| template<> | |
| carl::uint | storm::utility::convertNumber (RationalFunction const &func) |
| template<> | |
| carl::sint | storm::utility::convertNumber (RationalFunction const &func) |
| template<> | |
| double | storm::utility::convertNumber (RationalFunction const &func) |
| template<> | |
| RationalFunction | storm::utility::convertNumber (RationalFunction const &number) |
| template<> | |
| RationalFunction | storm::utility::convertNumber (std::string const &number) |
| template<> | |
| RationalFunction | storm::utility::convertNumber (storm::storage::sparse::state_type const &number) |
| template<> | |
| RationalFunction & | storm::utility::simplify (RationalFunction &value) |
| template<> | |
| RationalFunction && | storm::utility::simplify (RationalFunction &&value) |
| template<> | |
| RationalFunction | storm::utility::simplify (RationalFunction value) |
| template<> | |
| RationalFunction & | storm::utility::simplify (RationalFunction &value) |
| template<> | |
| RationalFunction && | storm::utility::simplify (RationalFunction &&value) |
| template<> | |
| bool | storm::utility::isAlmostZero (storm::RationalFunction const &a) |
| template<> | |
| bool | storm::utility::isAlmostOne (storm::RationalFunction const &a) |
| template<> | |
| bool | storm::utility::isNonNegative (storm::RationalFunction const &a) |
| template<> | |
| bool | storm::utility::isPositive (storm::RationalFunction const &a) |
| template<> | |
| bool | storm::utility::isBetween (storm::RationalFunction const &a, storm::RationalFunction const &b, storm::RationalFunction const &c, bool strict) |
| template<> | |
| std::pair< storm::RationalFunction, storm::RationalFunction > | storm::utility::minmax (std::vector< storm::RationalFunction > const &) |
| template<> | |
| storm::RationalFunction | storm::utility::minimum (std::vector< storm::RationalFunction > const &) |
| template<> | |
| storm::RationalFunction | storm::utility::maximum (std::vector< storm::RationalFunction > const &) |
| template<> | |
| std::pair< storm::RationalFunction, storm::RationalFunction > | storm::utility::minmax (std::map< uint64_t, storm::RationalFunction > const &) |
| template<> | |
| storm::RationalFunction | storm::utility::minimum (std::map< uint64_t, storm::RationalFunction > const &) |
| template<> | |
| storm::RationalFunction | storm::utility::maximum (std::map< uint64_t, storm::RationalFunction > const &) |
| template<> | |
| RationalFunction | storm::utility::pow (RationalFunction const &value, int_fast64_t exponent) |
| template<> | |
| std::string | storm::utility::to_string (RationalFunction const &f) |
| template<> | |
| double | storm::utility::convertNumber (std::string const &value) |
| template<> | |
| storm::Interval | storm::utility::convertNumber (double const &number) |
| template<> | |
| storm::Interval | storm::utility::convertNumber (uint64_t const &number) |
| template<> | |
| storm::RationalInterval | storm::utility::convertNumber (double const &number) |
| template<> | |
| storm::RationalInterval | storm::utility::convertNumber (uint64_t const &number) |
| template<> | |
| double | storm::utility::convertNumber (storm::Interval const &number) |
| template<> | |
| double | storm::utility::convertNumber (storm::RationalInterval const &number) |
| template<> | |
| storm::Interval | storm::utility::convertNumber (storm::RationalInterval const &number) |
| template<> | |
| storm::RationalInterval | storm::utility::convertNumber (storm::Interval const &number) |
| template<> | |
| storm::Interval | storm::utility::abs (storm::Interval const &interval) |
| template<> | |
| bool | storm::utility::isApproxEqual (storm::Interval const &a, storm::Interval const &b, storm::Interval const &precision, bool relative) |
| template<> | |
| bool | storm::utility::isApproxEqual (storm::RationalInterval const &a, storm::RationalInterval const &b, storm::RationalInterval const &precision, bool relative) |
| template<> | |
| storm::RationalInterval | storm::utility::abs (storm::RationalInterval const &interval) |
| template double | storm::utility::one () |
| template double | storm::utility::zero () |
| template bool | storm::utility::isOne (double const &value) |
| template bool | storm::utility::isZero (double const &value) |
| template bool | storm::utility::isNonNegative (double const &value) |
| template bool | storm::utility::isPositive (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 bool | storm::utility::isBetween (double const &a, double const &b, double const &c, bool strict) |
| template bool | storm::utility::isApproxEqual (double const &a, double const &b, double const &precision, bool relative) |
| 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::isNonNegative (int const &value) |
| template bool | storm::utility::isPositive (int const &value) |
| template bool | storm::utility::isApproxEqual (int const &a, int const &b, int const &precision, bool relative) |
| template bool | storm::utility::isBetween (int const &a, int const &b, int const &c, bool strict) |
| 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::isNonNegative (uint32_t const &value) |
| template bool | storm::utility::isPositive (uint32_t const &value) |
| template bool | storm::utility::isInfinity (uint32_t const &value) |
| template bool | storm::utility::isBetween (uint32_t const &a, uint32_t const &b, uint32_t const &c, bool strict) |
| template bool | storm::utility::isApproxEqual (storm::storage::sparse::state_type const &a, storm::storage::sparse::state_type const &b, storm::storage::sparse::state_type const &precision, bool relative) |
| 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::isPositive (storm::storage::sparse::state_type const &value) |
| template bool | storm::utility::isNonNegative (storm::storage::sparse::state_type const &value) |
| template bool | storm::utility::isInfinity (storm::storage::sparse::state_type const &value) |
| template bool | storm::utility::isBetween (storm::storage::sparse::state_type const &a, storm::storage::sparse::state_type const &b, storm::storage::sparse::state_type const &c, bool strict) |
| template uint64_t | storm::utility::bitsize (storm::storage::sparse::state_type const &number) |
| template unsigned long | storm::utility::convertNumber (long const &) |
| template bool | storm::utility::isNan (RationalFunction const &) |
| template bool | storm::utility::isOne (Interval const &value) |
| template bool | storm::utility::isZero (Interval const &value) |
| template bool | storm::utility::isInfinity (Interval const &value) |
| template bool | storm::utility::isAlmostZero (Interval const &value) |
| template bool | storm::utility::isNonNegative (Interval const &value) |
| template bool | storm::utility::isPositive (Interval const &value) |
| template bool | storm::utility::isBetween (Interval const &, Interval const &, Interval const &value, bool) |
| template std::string | storm::utility::to_string (storm::Interval const &value) |
| template bool | storm::utility::isOne (RationalInterval const &value) |
| template bool | storm::utility::isZero (RationalInterval const &value) |
| template bool | storm::utility::isInfinity (RationalInterval const &value) |
| template bool | storm::utility::isAlmostZero (RationalInterval const &value) |
| template bool | storm::utility::isNonNegative (RationalInterval const &value) |
| template bool | storm::utility::isPositive (RationalInterval const &value) |
| template bool | storm::utility::isBetween (RationalInterval const &, RationalInterval const &, RationalInterval const &value, bool) |
| template std::string | storm::utility::to_string (storm::RationalInterval const &value) |
