Arageli::type_pair_traits_helper< T1, T2, false, false > Struct Template Reference

#include <type_pair_traits.hpp>

List of all members.

Static Public Attributes
static const bool	is_specialized
static const bool	is_convertible
static const bool	is_safe_convertible
static const bool	is_assignable = is_convertible
static const bool	is_safe_assignable = is_safe_convertible
static const bool	is_initializable = is_convertible
static const bool	is_safe_initializable = is_safe_convertible

---

Detailed Description

template<typename T1, typename T2>
struct Arageli::type_pair_traits_helper< T1, T2, false, false >

Definition at line 238 of file type_pair_traits.hpp.

---

Member Data Documentation

template<typename T1, typename T2>

const bool Arageli::type_pair_traits_helper< T1, T2, false, false >::is_assignable = is_convertible [static]

Definition at line 264 of file type_pair_traits.hpp.

template<typename T1, typename T2>

const bool Arageli::type_pair_traits_helper< T1, T2, false, false >::is_convertible [static]

Initial value:

        TT1::is_number && TT2::is_number

Definition at line 252 of file type_pair_traits.hpp.

template<typename T1, typename T2>

const bool Arageli::type_pair_traits_helper< T1, T2, false, false >::is_initializable = is_convertible [static]

Definition at line 266 of file type_pair_traits.hpp.

template<typename T1, typename T2>

const bool Arageli::type_pair_traits_helper< T1, T2, false, false >::is_safe_assignable = is_safe_convertible [static]

Definition at line 265 of file type_pair_traits.hpp.

template<typename T1, typename T2>

const bool Arageli::type_pair_traits_helper< T1, T2, false, false >::is_safe_convertible [static]

Initial value:

        is_convertible &&
        (!(NL1::is_signed && !NL2::is_signed)) &&
        (!(!NL1::is_integer && NL2::is_integer)) &&
        (
            NL1::is_bounded && NL2::is_bounded && (NL1::digits <= NL2::digits) ||
            NL1::is_bounded && !NL2::is_bounded
        )

Definition at line 255 of file type_pair_traits.hpp.

template<typename T1, typename T2>

const bool Arageli::type_pair_traits_helper< T1, T2, false, false >::is_safe_initializable = is_safe_convertible [static]

Definition at line 267 of file type_pair_traits.hpp.

template<typename T1, typename T2>

const bool Arageli::type_pair_traits_helper< T1, T2, false, false >::is_specialized [static]

Initial value:

        TT1::is_specialized && TT2::is_specialized

Definition at line 249 of file type_pair_traits.hpp.

---

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

• type_pair_traits.hpp

---