std::numeric_limits< Checked_Number< mpz_class, Policy > > Class Template Reference

Partial specialization of std::numeric_limits. More...

#include <checked_numeric_limits.hh>

Inheritance diagram for std::numeric_limits< Checked_Number< mpz_class, Policy > >:

Collaboration diagram for std::numeric_limits< Checked_Number< mpz_class, Policy > >:

List of all members.

Static Public Member Functions
static Type	infinity ()
static Type	quiet_NaN ()
Static Public Attributes
static const bool	has_infinity = Policy::has_infinity
static const bool	has_quiet_NaN = Policy::has_nan
Private Types
typedef Checked_Number < mpz_class, Policy >	Type

---

Detailed Description

template<typename Policy>
class std::numeric_limits< Checked_Number< mpz_class, Policy > >

Partial specialization of std::numeric_limits.

Definition at line 113 of file checked_numeric_limits.hh.

---

Member Typedef Documentation

template<typename Policy >

typedef Checked_Number<mpz_class, Policy> std::numeric_limits< Checked_Number< mpz_class, Policy > >::Type

private

Reimplemented from std::numeric_limits< mpz_class >.

Definition at line 117 of file checked_numeric_limits.hh.

---

Member Function Documentation

template<typename Policy >

static Type std::numeric_limits< Checked_Number< mpz_class, Policy > >::infinity ( )

inlinestatic

Reimplemented from std::numeric_limits< mpz_class >.

Definition at line 123 of file checked_numeric_limits.hh.

References Parma_Polyhedra_Library::Checked_Number< T, Policy >::raw_value(), Parma_Polyhedra_Library::ROUND_IGNORE, and Parma_Polyhedra_Library::VC_PLUS_INFINITY.

                         {
    Type v;
    Checked::assign_special<Policy>(v.raw_value(), VC_PLUS_INFINITY,
                                    ROUND_IGNORE);
    return v;
  }

template<typename Policy >

static Type std::numeric_limits< Checked_Number< mpz_class, Policy > >::quiet_NaN ( )

inlinestatic

Reimplemented from std::numeric_limits< mpz_class >.

Definition at line 130 of file checked_numeric_limits.hh.

References Parma_Polyhedra_Library::Checked_Number< T, Policy >::raw_value(), Parma_Polyhedra_Library::ROUND_IGNORE, and Parma_Polyhedra_Library::VC_NAN.

                          {
    Type v;
    Checked::assign_special<Policy>(v.raw_value(), VC_NAN, ROUND_IGNORE);
    return v;
  }

---

Member Data Documentation

template<typename Policy >

const bool std::numeric_limits< Checked_Number< mpz_class, Policy > >::has_infinity = Policy::has_infinity

static

Reimplemented from std::numeric_limits< mpz_class >.

Definition at line 120 of file checked_numeric_limits.hh.

template<typename Policy >

const bool std::numeric_limits< Checked_Number< mpz_class, Policy > >::has_quiet_NaN = Policy::has_nan

static

Reimplemented from std::numeric_limits< mpz_class >.

Definition at line 121 of file checked_numeric_limits.hh.

---

The documentation for this class was generated from the following file:

• checked_numeric_limits.hh