2010-05-12 03:42:16 +08:00
|
|
|
// -*- C++ -*-
|
|
|
|
//===---------------------------- limits ----------------------------------===//
|
|
|
|
//
|
2010-05-12 05:36:01 +08:00
|
|
|
// The LLVM Compiler Infrastructure
|
2010-05-12 03:42:16 +08:00
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef _LIBCPP_LIMITS
|
|
|
|
#define _LIBCPP_LIMITS
|
|
|
|
|
|
|
|
/*
|
|
|
|
limits synopsis
|
|
|
|
|
|
|
|
namespace std
|
|
|
|
{
|
|
|
|
|
|
|
|
template<class T>
|
|
|
|
class numeric_limits
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
static const bool is_specialized = false;
|
|
|
|
static T min() throw();
|
|
|
|
static T max() throw();
|
|
|
|
static T lowest() throw();
|
|
|
|
|
|
|
|
static const int digits = 0;
|
|
|
|
static const int digits10 = 0;
|
|
|
|
static const int max_digits10 = 0;
|
|
|
|
static const bool is_signed = false;
|
|
|
|
static const bool is_integer = false;
|
|
|
|
static const bool is_exact = false;
|
|
|
|
static const int radix = 0;
|
|
|
|
static T epsilon() throw();
|
|
|
|
static T round_error() throw();
|
|
|
|
|
|
|
|
static const int min_exponent = 0;
|
|
|
|
static const int min_exponent10 = 0;
|
|
|
|
static const int max_exponent = 0;
|
|
|
|
static const int max_exponent10 = 0;
|
|
|
|
|
|
|
|
static const bool has_infinity = false;
|
|
|
|
static const bool has_quiet_NaN = false;
|
|
|
|
static const bool has_signaling_NaN = false;
|
|
|
|
static const float_denorm_style has_denorm = denorm_absent;
|
|
|
|
static const bool has_denorm_loss = false;
|
|
|
|
static T infinity() throw();
|
|
|
|
static T quiet_NaN() throw();
|
|
|
|
static T signaling_NaN() throw();
|
|
|
|
static T denorm_min() throw();
|
|
|
|
|
|
|
|
static const bool is_iec559 = false;
|
|
|
|
static const bool is_bounded = false;
|
|
|
|
static const bool is_modulo = false;
|
|
|
|
|
|
|
|
static const bool traps = false;
|
|
|
|
static const bool tinyness_before = false;
|
|
|
|
static const float_round_style round_style = round_toward_zero;
|
|
|
|
};
|
|
|
|
|
|
|
|
enum float_round_style
|
|
|
|
{
|
|
|
|
round_indeterminate = -1,
|
|
|
|
round_toward_zero = 0,
|
|
|
|
round_to_nearest = 1,
|
|
|
|
round_toward_infinity = 2,
|
|
|
|
round_toward_neg_infinity = 3
|
|
|
|
};
|
|
|
|
|
|
|
|
enum float_denorm_style
|
|
|
|
{
|
|
|
|
denorm_indeterminate = -1,
|
|
|
|
denorm_absent = 0,
|
|
|
|
denorm_present = 1
|
|
|
|
};
|
|
|
|
|
|
|
|
template<> class numeric_limits<cv bool>;
|
|
|
|
|
|
|
|
template<> class numeric_limits<cv char>;
|
|
|
|
template<> class numeric_limits<cv signed char>;
|
|
|
|
template<> class numeric_limits<cv unsigned char>;
|
|
|
|
template<> class numeric_limits<cv wchar_t>;
|
|
|
|
template<> class numeric_limits<cv char16_t>;
|
|
|
|
template<> class numeric_limits<cv char32_t>;
|
|
|
|
|
|
|
|
template<> class numeric_limits<cv short>;
|
|
|
|
template<> class numeric_limits<cv int>;
|
|
|
|
template<> class numeric_limits<cv long>;
|
|
|
|
template<> class numeric_limits<cv long long>;
|
|
|
|
template<> class numeric_limits<cv unsigned short>;
|
|
|
|
template<> class numeric_limits<cv unsigned int>;
|
|
|
|
template<> class numeric_limits<cv unsigned long>;
|
|
|
|
template<> class numeric_limits<cv unsigned long long>;
|
|
|
|
|
|
|
|
template<> class numeric_limits<cv float>;
|
|
|
|
template<> class numeric_limits<cv double>;
|
|
|
|
template<> class numeric_limits<cv long double>;
|
|
|
|
|
|
|
|
} // std
|
|
|
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
#pragma GCC system_header
|
|
|
|
|
|
|
|
#include <__config>
|
|
|
|
#include <type_traits>
|
|
|
|
|
|
|
|
_LIBCPP_BEGIN_NAMESPACE_STD
|
|
|
|
|
|
|
|
enum float_round_style
|
|
|
|
{
|
|
|
|
round_indeterminate = -1,
|
|
|
|
round_toward_zero = 0,
|
|
|
|
round_to_nearest = 1,
|
|
|
|
round_toward_infinity = 2,
|
|
|
|
round_toward_neg_infinity = 3
|
|
|
|
};
|
|
|
|
|
|
|
|
enum float_denorm_style
|
|
|
|
{
|
|
|
|
denorm_indeterminate = -1,
|
|
|
|
denorm_absent = 0,
|
|
|
|
denorm_present = 1
|
|
|
|
};
|
|
|
|
|
|
|
|
template <class _Tp, bool = is_arithmetic<_Tp>::value>
|
|
|
|
class __libcpp_numeric_limits
|
|
|
|
{
|
|
|
|
protected:
|
|
|
|
typedef _Tp type;
|
|
|
|
|
|
|
|
static const bool is_specialized = false;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type min() throw() {return type();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type max() throw() {return type();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type lowest() throw() {return type();}
|
|
|
|
|
|
|
|
static const int digits = 0;
|
|
|
|
static const int digits10 = 0;
|
|
|
|
static const int max_digits10 = 0;
|
|
|
|
static const bool is_signed = false;
|
|
|
|
static const bool is_integer = false;
|
|
|
|
static const bool is_exact = false;
|
|
|
|
static const int radix = 0;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type epsilon() throw() {return type();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type round_error() throw() {return type();}
|
|
|
|
|
|
|
|
static const int min_exponent = 0;
|
|
|
|
static const int min_exponent10 = 0;
|
|
|
|
static const int max_exponent = 0;
|
|
|
|
static const int max_exponent10 = 0;
|
|
|
|
|
|
|
|
static const bool has_infinity = false;
|
|
|
|
static const bool has_quiet_NaN = false;
|
|
|
|
static const bool has_signaling_NaN = false;
|
|
|
|
static const float_denorm_style has_denorm = denorm_absent;
|
|
|
|
static const bool has_denorm_loss = false;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type infinity() throw() {return type();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type quiet_NaN() throw() {return type();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type signaling_NaN() throw() {return type();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type denorm_min() throw() {return type();}
|
|
|
|
|
|
|
|
static const bool is_iec559 = false;
|
|
|
|
static const bool is_bounded = false;
|
|
|
|
static const bool is_modulo = false;
|
|
|
|
|
|
|
|
static const bool traps = false;
|
|
|
|
static const bool tinyness_before = false;
|
|
|
|
static const float_round_style round_style = round_toward_zero;
|
|
|
|
};
|
|
|
|
|
|
|
|
template <class _Tp, int digits, bool is_signed>
|
|
|
|
struct __libcpp_compute_min
|
|
|
|
{
|
|
|
|
static const _Tp value = _Tp(_Tp(1) << digits);
|
|
|
|
};
|
|
|
|
|
|
|
|
template <class _Tp, int digits>
|
|
|
|
struct __libcpp_compute_min<_Tp, digits, false>
|
|
|
|
{
|
|
|
|
static const _Tp value = _Tp(0);
|
|
|
|
};
|
|
|
|
|
|
|
|
template <class _Tp>
|
|
|
|
class __libcpp_numeric_limits<_Tp, true>
|
|
|
|
{
|
|
|
|
protected:
|
|
|
|
typedef _Tp type;
|
|
|
|
|
|
|
|
static const bool is_specialized = true;
|
|
|
|
|
|
|
|
static const bool is_signed = type(-1) < type(0);
|
|
|
|
static const int digits = static_cast<int>(sizeof(type) * __CHAR_BIT__ - is_signed);
|
|
|
|
static const int digits10 = digits * 3 / 10;
|
|
|
|
static const int max_digits10 = 0;
|
|
|
|
static const type __min = __libcpp_compute_min<type, digits, is_signed>::value;
|
|
|
|
static const type __max = is_signed ? type(type(~0) ^ __min) : type(~0);
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type min() throw() {return __min;}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type max() throw() {return __max;}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type lowest() throw() {return min();}
|
|
|
|
|
|
|
|
static const bool is_integer = true;
|
|
|
|
static const bool is_exact = true;
|
|
|
|
static const int radix = 2;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type epsilon() throw() {return type(0);}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type round_error() throw() {return type(0);}
|
|
|
|
|
|
|
|
static const int min_exponent = 0;
|
|
|
|
static const int min_exponent10 = 0;
|
|
|
|
static const int max_exponent = 0;
|
|
|
|
static const int max_exponent10 = 0;
|
|
|
|
|
|
|
|
static const bool has_infinity = false;
|
|
|
|
static const bool has_quiet_NaN = false;
|
|
|
|
static const bool has_signaling_NaN = false;
|
|
|
|
static const float_denorm_style has_denorm = denorm_absent;
|
|
|
|
static const bool has_denorm_loss = false;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type infinity() throw() {return type(0);}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type quiet_NaN() throw() {return type(0);}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type signaling_NaN() throw() {return type(0);}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type denorm_min() throw() {return type(0);}
|
|
|
|
|
|
|
|
static const bool is_iec559 = false;
|
|
|
|
static const bool is_bounded = true;
|
|
|
|
static const bool is_modulo = true;
|
|
|
|
|
|
|
|
#if __i386__ || __x86_64__
|
|
|
|
static const bool traps = true;
|
|
|
|
#else
|
|
|
|
static const bool traps = false;
|
|
|
|
#endif
|
|
|
|
static const bool tinyness_before = false;
|
|
|
|
static const float_round_style round_style = round_toward_zero;
|
|
|
|
};
|
|
|
|
|
|
|
|
template <>
|
|
|
|
class __libcpp_numeric_limits<bool, true>
|
|
|
|
{
|
|
|
|
protected:
|
|
|
|
typedef bool type;
|
|
|
|
|
|
|
|
static const bool is_specialized = true;
|
|
|
|
|
|
|
|
static const bool is_signed = false;
|
|
|
|
static const int digits = 1;
|
|
|
|
static const int digits10 = 0;
|
|
|
|
static const int max_digits10 = 0;
|
|
|
|
static const type __min = false;
|
|
|
|
static const type __max = true;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type min() throw() {return __min;}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type max() throw() {return __max;}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type lowest() throw() {return min();}
|
|
|
|
|
|
|
|
static const bool is_integer = true;
|
|
|
|
static const bool is_exact = true;
|
|
|
|
static const int radix = 2;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type epsilon() throw() {return type(0);}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type round_error() throw() {return type(0);}
|
|
|
|
|
|
|
|
static const int min_exponent = 0;
|
|
|
|
static const int min_exponent10 = 0;
|
|
|
|
static const int max_exponent = 0;
|
|
|
|
static const int max_exponent10 = 0;
|
|
|
|
|
|
|
|
static const bool has_infinity = false;
|
|
|
|
static const bool has_quiet_NaN = false;
|
|
|
|
static const bool has_signaling_NaN = false;
|
|
|
|
static const float_denorm_style has_denorm = denorm_absent;
|
|
|
|
static const bool has_denorm_loss = false;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type infinity() throw() {return type(0);}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type quiet_NaN() throw() {return type(0);}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type signaling_NaN() throw() {return type(0);}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type denorm_min() throw() {return type(0);}
|
|
|
|
|
|
|
|
static const bool is_iec559 = false;
|
|
|
|
static const bool is_bounded = true;
|
|
|
|
static const bool is_modulo = false;
|
|
|
|
|
|
|
|
static const bool traps = false;
|
|
|
|
static const bool tinyness_before = false;
|
|
|
|
static const float_round_style round_style = round_toward_zero;
|
|
|
|
};
|
|
|
|
|
|
|
|
template <>
|
|
|
|
class __libcpp_numeric_limits<float, true>
|
|
|
|
{
|
|
|
|
protected:
|
|
|
|
typedef float type;
|
|
|
|
|
|
|
|
static const bool is_specialized = true;
|
|
|
|
|
|
|
|
static const bool is_signed = true;
|
|
|
|
static const int digits = __FLT_MANT_DIG__;
|
|
|
|
static const int digits10 = __FLT_DIG__;
|
|
|
|
static const int max_digits10 = 2+(digits * 30103)/100000;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type min() throw() {return __FLT_MIN__;}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type max() throw() {return __FLT_MAX__;}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type lowest() throw() {return -max();}
|
|
|
|
|
|
|
|
static const bool is_integer = false;
|
|
|
|
static const bool is_exact = false;
|
|
|
|
static const int radix = __FLT_RADIX__;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type epsilon() throw() {return __FLT_EPSILON__;}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type round_error() throw() {return 0.5F;}
|
|
|
|
|
|
|
|
static const int min_exponent = __FLT_MIN_EXP__;
|
|
|
|
static const int min_exponent10 = __FLT_MIN_10_EXP__;
|
|
|
|
static const int max_exponent = __FLT_MAX_EXP__;
|
|
|
|
static const int max_exponent10 = __FLT_MAX_10_EXP__;
|
|
|
|
|
|
|
|
static const bool has_infinity = true;
|
|
|
|
static const bool has_quiet_NaN = true;
|
|
|
|
static const bool has_signaling_NaN = true;
|
|
|
|
static const float_denorm_style has_denorm = denorm_present;
|
|
|
|
static const bool has_denorm_loss = false;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type infinity() throw() {return __builtin_huge_valf();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type quiet_NaN() throw() {return __builtin_nanf("");}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type signaling_NaN() throw() {return __builtin_nansf("");}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type denorm_min() throw() {return __FLT_DENORM_MIN__;}
|
|
|
|
|
|
|
|
static const bool is_iec559 = true;
|
|
|
|
static const bool is_bounded = true;
|
|
|
|
static const bool is_modulo = false;
|
|
|
|
|
|
|
|
static const bool traps = false;
|
|
|
|
static const bool tinyness_before = false;
|
|
|
|
static const float_round_style round_style = round_to_nearest;
|
|
|
|
};
|
|
|
|
|
|
|
|
template <>
|
|
|
|
class __libcpp_numeric_limits<double, true>
|
|
|
|
{
|
|
|
|
protected:
|
|
|
|
typedef double type;
|
|
|
|
|
|
|
|
static const bool is_specialized = true;
|
|
|
|
|
|
|
|
static const bool is_signed = true;
|
|
|
|
static const int digits = __DBL_MANT_DIG__;
|
|
|
|
static const int digits10 = __DBL_DIG__;
|
|
|
|
static const int max_digits10 = 2+(digits * 30103)/100000;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type min() throw() {return __DBL_MIN__;}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type max() throw() {return __DBL_MAX__;}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type lowest() throw() {return -max();}
|
|
|
|
|
|
|
|
static const bool is_integer = false;
|
|
|
|
static const bool is_exact = false;
|
|
|
|
static const int radix = __FLT_RADIX__;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type epsilon() throw() {return __DBL_EPSILON__;}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type round_error() throw() {return 0.5;}
|
|
|
|
|
|
|
|
static const int min_exponent = __DBL_MIN_EXP__;
|
|
|
|
static const int min_exponent10 = __DBL_MIN_10_EXP__;
|
|
|
|
static const int max_exponent = __DBL_MAX_EXP__;
|
|
|
|
static const int max_exponent10 = __DBL_MAX_10_EXP__;
|
|
|
|
|
|
|
|
static const bool has_infinity = true;
|
|
|
|
static const bool has_quiet_NaN = true;
|
|
|
|
static const bool has_signaling_NaN = true;
|
|
|
|
static const float_denorm_style has_denorm = denorm_present;
|
|
|
|
static const bool has_denorm_loss = false;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type infinity() throw() {return __builtin_huge_val();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type quiet_NaN() throw() {return __builtin_nan("");}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type signaling_NaN() throw() {return __builtin_nans("");}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type denorm_min() throw() {return __DBL_DENORM_MIN__;}
|
|
|
|
|
|
|
|
static const bool is_iec559 = true;
|
|
|
|
static const bool is_bounded = true;
|
|
|
|
static const bool is_modulo = false;
|
|
|
|
|
|
|
|
static const bool traps = false;
|
|
|
|
static const bool tinyness_before = false;
|
|
|
|
static const float_round_style round_style = round_to_nearest;
|
|
|
|
};
|
|
|
|
|
|
|
|
template <>
|
|
|
|
class __libcpp_numeric_limits<long double, true>
|
|
|
|
{
|
|
|
|
protected:
|
|
|
|
typedef long double type;
|
|
|
|
|
|
|
|
static const bool is_specialized = true;
|
|
|
|
|
|
|
|
static const bool is_signed = true;
|
|
|
|
static const int digits = __LDBL_MANT_DIG__;
|
|
|
|
static const int digits10 = __LDBL_DIG__;
|
|
|
|
static const int max_digits10 = 2+(digits * 30103)/100000;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type min() throw() {return __LDBL_MIN__;}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type max() throw() {return __LDBL_MAX__;}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type lowest() throw() {return -max();}
|
|
|
|
|
|
|
|
static const bool is_integer = false;
|
|
|
|
static const bool is_exact = false;
|
|
|
|
static const int radix = __FLT_RADIX__;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type epsilon() throw() {return __LDBL_EPSILON__;}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type round_error() throw() {return 0.5;}
|
|
|
|
|
|
|
|
static const int min_exponent = __LDBL_MIN_EXP__;
|
|
|
|
static const int min_exponent10 = __LDBL_MIN_10_EXP__;
|
|
|
|
static const int max_exponent = __LDBL_MAX_EXP__;
|
|
|
|
static const int max_exponent10 = __LDBL_MAX_10_EXP__;
|
|
|
|
|
|
|
|
static const bool has_infinity = true;
|
|
|
|
static const bool has_quiet_NaN = true;
|
|
|
|
static const bool has_signaling_NaN = true;
|
|
|
|
static const float_denorm_style has_denorm = denorm_present;
|
|
|
|
static const bool has_denorm_loss = false;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type infinity() throw() {return __builtin_huge_vall();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type quiet_NaN() throw() {return __builtin_nanl("");}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type signaling_NaN() throw() {return __builtin_nansl("");}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type denorm_min() throw() {return __LDBL_DENORM_MIN__;}
|
|
|
|
|
|
|
|
#if (defined(__ppc__) || defined(__ppc64__))
|
|
|
|
static const bool is_iec559 = false;
|
|
|
|
#else
|
|
|
|
static const bool is_iec559 = true;
|
|
|
|
#endif
|
|
|
|
static const bool is_bounded = true;
|
|
|
|
static const bool is_modulo = false;
|
|
|
|
|
|
|
|
static const bool traps = false;
|
|
|
|
static const bool tinyness_before = false;
|
|
|
|
static const float_round_style round_style = round_to_nearest;
|
|
|
|
};
|
|
|
|
|
|
|
|
template <class _Tp>
|
2010-09-23 00:48:34 +08:00
|
|
|
class _LIBCPP_VISIBLE numeric_limits
|
2010-05-12 03:42:16 +08:00
|
|
|
: private __libcpp_numeric_limits<typename remove_cv<_Tp>::type>
|
|
|
|
{
|
|
|
|
typedef __libcpp_numeric_limits<typename remove_cv<_Tp>::type> __base;
|
|
|
|
typedef typename __base::type type;
|
|
|
|
public:
|
|
|
|
static const bool is_specialized = __base::is_specialized;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type min() throw() {return __base::min();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type max() throw() {return __base::max();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type lowest() throw() {return __base::lowest();}
|
|
|
|
|
|
|
|
static const int digits = __base::digits;
|
|
|
|
static const int digits10 = __base::digits10;
|
|
|
|
static const int max_digits10 = __base::max_digits10;
|
|
|
|
static const bool is_signed = __base::is_signed;
|
|
|
|
static const bool is_integer = __base::is_integer;
|
|
|
|
static const bool is_exact = __base::is_exact;
|
|
|
|
static const int radix = __base::radix;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type epsilon() throw() {return __base::epsilon();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type round_error() throw() {return __base::round_error();}
|
|
|
|
|
|
|
|
static const int min_exponent = __base::min_exponent;
|
|
|
|
static const int min_exponent10 = __base::min_exponent10;
|
|
|
|
static const int max_exponent = __base::max_exponent;
|
|
|
|
static const int max_exponent10 = __base::max_exponent10;
|
|
|
|
|
|
|
|
static const bool has_infinity = __base::has_infinity;
|
|
|
|
static const bool has_quiet_NaN = __base::has_quiet_NaN;
|
|
|
|
static const bool has_signaling_NaN = __base::has_signaling_NaN;
|
|
|
|
static const float_denorm_style has_denorm = __base::has_denorm;
|
|
|
|
static const bool has_denorm_loss = __base::has_denorm_loss;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type infinity() throw() {return __base::infinity();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type quiet_NaN() throw() {return __base::quiet_NaN();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type signaling_NaN() throw() {return __base::signaling_NaN();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type denorm_min() throw() {return __base::denorm_min();}
|
|
|
|
|
|
|
|
static const bool is_iec559 = __base::is_iec559;
|
|
|
|
static const bool is_bounded = __base::is_bounded;
|
|
|
|
static const bool is_modulo = __base::is_modulo;
|
|
|
|
|
|
|
|
static const bool traps = __base::traps;
|
|
|
|
static const bool tinyness_before = __base::tinyness_before;
|
|
|
|
static const float_round_style round_style = __base::round_style;
|
|
|
|
};
|
|
|
|
|
|
|
|
template <class _Tp>
|
2010-09-23 00:48:34 +08:00
|
|
|
class _LIBCPP_VISIBLE numeric_limits<const _Tp>
|
2010-05-12 03:42:16 +08:00
|
|
|
: private numeric_limits<_Tp>
|
|
|
|
{
|
|
|
|
typedef numeric_limits<_Tp> __base;
|
|
|
|
typedef _Tp type;
|
|
|
|
public:
|
|
|
|
static const bool is_specialized = __base::is_specialized;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type min() throw() {return __base::min();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type max() throw() {return __base::max();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type lowest() throw() {return __base::lowest();}
|
|
|
|
|
|
|
|
static const int digits = __base::digits;
|
|
|
|
static const int digits10 = __base::digits10;
|
|
|
|
static const int max_digits10 = __base::max_digits10;
|
|
|
|
static const bool is_signed = __base::is_signed;
|
|
|
|
static const bool is_integer = __base::is_integer;
|
|
|
|
static const bool is_exact = __base::is_exact;
|
|
|
|
static const int radix = __base::radix;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type epsilon() throw() {return __base::epsilon();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type round_error() throw() {return __base::round_error();}
|
|
|
|
|
|
|
|
static const int min_exponent = __base::min_exponent;
|
|
|
|
static const int min_exponent10 = __base::min_exponent10;
|
|
|
|
static const int max_exponent = __base::max_exponent;
|
|
|
|
static const int max_exponent10 = __base::max_exponent10;
|
|
|
|
|
|
|
|
static const bool has_infinity = __base::has_infinity;
|
|
|
|
static const bool has_quiet_NaN = __base::has_quiet_NaN;
|
|
|
|
static const bool has_signaling_NaN = __base::has_signaling_NaN;
|
|
|
|
static const float_denorm_style has_denorm = __base::has_denorm;
|
|
|
|
static const bool has_denorm_loss = __base::has_denorm_loss;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type infinity() throw() {return __base::infinity();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type quiet_NaN() throw() {return __base::quiet_NaN();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type signaling_NaN() throw() {return __base::signaling_NaN();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type denorm_min() throw() {return __base::denorm_min();}
|
|
|
|
|
|
|
|
static const bool is_iec559 = __base::is_iec559;
|
|
|
|
static const bool is_bounded = __base::is_bounded;
|
|
|
|
static const bool is_modulo = __base::is_modulo;
|
|
|
|
|
|
|
|
static const bool traps = __base::traps;
|
|
|
|
static const bool tinyness_before = __base::tinyness_before;
|
|
|
|
static const float_round_style round_style = __base::round_style;
|
|
|
|
};
|
|
|
|
|
|
|
|
template <class _Tp>
|
2010-09-23 00:48:34 +08:00
|
|
|
class _LIBCPP_VISIBLE numeric_limits<volatile _Tp>
|
2010-05-12 03:42:16 +08:00
|
|
|
: private numeric_limits<_Tp>
|
|
|
|
{
|
|
|
|
typedef numeric_limits<_Tp> __base;
|
|
|
|
typedef _Tp type;
|
|
|
|
public:
|
|
|
|
static const bool is_specialized = __base::is_specialized;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type min() throw() {return __base::min();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type max() throw() {return __base::max();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type lowest() throw() {return __base::lowest();}
|
|
|
|
|
|
|
|
static const int digits = __base::digits;
|
|
|
|
static const int digits10 = __base::digits10;
|
|
|
|
static const int max_digits10 = __base::max_digits10;
|
|
|
|
static const bool is_signed = __base::is_signed;
|
|
|
|
static const bool is_integer = __base::is_integer;
|
|
|
|
static const bool is_exact = __base::is_exact;
|
|
|
|
static const int radix = __base::radix;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type epsilon() throw() {return __base::epsilon();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type round_error() throw() {return __base::round_error();}
|
|
|
|
|
|
|
|
static const int min_exponent = __base::min_exponent;
|
|
|
|
static const int min_exponent10 = __base::min_exponent10;
|
|
|
|
static const int max_exponent = __base::max_exponent;
|
|
|
|
static const int max_exponent10 = __base::max_exponent10;
|
|
|
|
|
|
|
|
static const bool has_infinity = __base::has_infinity;
|
|
|
|
static const bool has_quiet_NaN = __base::has_quiet_NaN;
|
|
|
|
static const bool has_signaling_NaN = __base::has_signaling_NaN;
|
|
|
|
static const float_denorm_style has_denorm = __base::has_denorm;
|
|
|
|
static const bool has_denorm_loss = __base::has_denorm_loss;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type infinity() throw() {return __base::infinity();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type quiet_NaN() throw() {return __base::quiet_NaN();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type signaling_NaN() throw() {return __base::signaling_NaN();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type denorm_min() throw() {return __base::denorm_min();}
|
|
|
|
|
|
|
|
static const bool is_iec559 = __base::is_iec559;
|
|
|
|
static const bool is_bounded = __base::is_bounded;
|
|
|
|
static const bool is_modulo = __base::is_modulo;
|
|
|
|
|
|
|
|
static const bool traps = __base::traps;
|
|
|
|
static const bool tinyness_before = __base::tinyness_before;
|
|
|
|
static const float_round_style round_style = __base::round_style;
|
|
|
|
};
|
|
|
|
|
|
|
|
template <class _Tp>
|
2010-09-23 00:48:34 +08:00
|
|
|
class _LIBCPP_VISIBLE numeric_limits<const volatile _Tp>
|
2010-05-12 03:42:16 +08:00
|
|
|
: private numeric_limits<_Tp>
|
|
|
|
{
|
|
|
|
typedef numeric_limits<_Tp> __base;
|
|
|
|
typedef _Tp type;
|
|
|
|
public:
|
|
|
|
static const bool is_specialized = __base::is_specialized;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type min() throw() {return __base::min();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type max() throw() {return __base::max();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type lowest() throw() {return __base::lowest();}
|
|
|
|
|
|
|
|
static const int digits = __base::digits;
|
|
|
|
static const int digits10 = __base::digits10;
|
|
|
|
static const int max_digits10 = __base::max_digits10;
|
|
|
|
static const bool is_signed = __base::is_signed;
|
|
|
|
static const bool is_integer = __base::is_integer;
|
|
|
|
static const bool is_exact = __base::is_exact;
|
|
|
|
static const int radix = __base::radix;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type epsilon() throw() {return __base::epsilon();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type round_error() throw() {return __base::round_error();}
|
|
|
|
|
|
|
|
static const int min_exponent = __base::min_exponent;
|
|
|
|
static const int min_exponent10 = __base::min_exponent10;
|
|
|
|
static const int max_exponent = __base::max_exponent;
|
|
|
|
static const int max_exponent10 = __base::max_exponent10;
|
|
|
|
|
|
|
|
static const bool has_infinity = __base::has_infinity;
|
|
|
|
static const bool has_quiet_NaN = __base::has_quiet_NaN;
|
|
|
|
static const bool has_signaling_NaN = __base::has_signaling_NaN;
|
|
|
|
static const float_denorm_style has_denorm = __base::has_denorm;
|
|
|
|
static const bool has_denorm_loss = __base::has_denorm_loss;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type infinity() throw() {return __base::infinity();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type quiet_NaN() throw() {return __base::quiet_NaN();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type signaling_NaN() throw() {return __base::signaling_NaN();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static type denorm_min() throw() {return __base::denorm_min();}
|
|
|
|
|
|
|
|
static const bool is_iec559 = __base::is_iec559;
|
|
|
|
static const bool is_bounded = __base::is_bounded;
|
|
|
|
static const bool is_modulo = __base::is_modulo;
|
|
|
|
|
|
|
|
static const bool traps = __base::traps;
|
|
|
|
static const bool tinyness_before = __base::tinyness_before;
|
|
|
|
static const float_round_style round_style = __base::round_style;
|
|
|
|
};
|
|
|
|
|
|
|
|
_LIBCPP_END_NAMESPACE_STD
|
|
|
|
|
|
|
|
#endif // _LIBCPP_LIMITS
|