Arageli::type_pair_traits_helper< T1, T2, true, true > 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
static const bool	is_safe_assignable
static const bool	is_initializable
static const bool	is_safe_initializable

---

Detailed Description

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

Definition at line 78 of file type_pair_traits.hpp.

---

Member Data Documentation

template<typename T1, typename T2>

const bool Arageli::type_pair_traits_helper< T1, T2, true, true >::is_assignable [static]

Initial value:

        type_pair_traits<T1, TE2>::is_assignable
        ||
            type_pair_traits<TE1, TE2>::is_assignable &&
            !type_pair_traits<T1, TE2>::is_assignable &&
            TT1::is_rational == TT2::is_rational &&
            TT1::is_vector == TT2::is_vector &&
            TT1::is_matrix == TT2::is_matrix &&
            TT1::is_complex_number == TT2::is_complex_number &&
            TT1::is_polynom == TT2::is_polynom
        ||
        TT1::is_rational &&
            type_pair_traits<TE1, T2>::is_assignable

Definition at line 117 of file type_pair_traits.hpp.

template<typename T1, typename T2>

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

Initial value:

        type_pair_traits<T1, TE2>::is_convertible
        ||
            type_pair_traits<TE1, TE2>::is_convertible &&
            !type_pair_traits<T1, TE2>::is_convertible &&
            TT1::is_rational == TT2::is_rational &&
            TT1::is_vector == TT2::is_vector &&
            TT1::is_matrix == TT2::is_matrix &&
            TT1::is_complex_number == TT2::is_complex_number &&
            TT1::is_polynom == TT2::is_polynom
        ||
        TT1::is_rational &&
            type_pair_traits<TE1, T2>::is_convertible

Definition at line 92 of file type_pair_traits.hpp.

template<typename T1, typename T2>

const bool Arageli::type_pair_traits_helper< T1, T2, true, true >::is_initializable [static]

Initial value:

        type_pair_traits<T1, TE2>::is_initializable
        ||
            type_pair_traits<TE1, TE2>::is_initializable &&
            !type_pair_traits<T1, TE2>::is_initializable &&
            TT1::is_rational == TT2::is_rational &&
            TT1::is_vector == TT2::is_vector &&
            TT1::is_matrix == TT2::is_matrix &&
            TT1::is_complex_number == TT2::is_complex_number &&
            TT1::is_polynom == TT2::is_polynom
        ||
        TT1::is_rational &&
            type_pair_traits<TE1, T2>::is_initializable

Definition at line 142 of file type_pair_traits.hpp.

template<typename T1, typename T2>

const bool Arageli::type_pair_traits_helper< T1, T2, true, true >::is_safe_assignable [static]

Initial value:

        type_pair_traits<T1, TE2>::is_safe_assignable
        ||
            type_pair_traits<TE1, TE2>::is_safe_assignable &&
            !type_pair_traits<T1, TE2>::is_safe_assignable &&
            TT1::is_rational == TT2::is_rational &&
            TT1::is_vector == TT2::is_vector &&
            TT1::is_matrix == TT2::is_matrix &&
            TT1::is_complex_number == TT2::is_complex_number &&
            TT1::is_polynom == TT2::is_polynom

Definition at line 131 of file type_pair_traits.hpp.

template<typename T1, typename T2>

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

Initial value:

        type_pair_traits<T1, TE2>::is_safe_convertible
        ||
            type_pair_traits<TE1, TE2>::is_safe_convertible &&
            !type_pair_traits<T1, TE2>::is_safe_convertible &&
            TT1::is_rational == TT2::is_rational &&
            TT1::is_vector == TT2::is_vector &&
            TT1::is_matrix == TT2::is_matrix &&
            TT1::is_complex_number == TT2::is_complex_number &&
            TT1::is_polynom == TT2::is_polynom

Definition at line 106 of file type_pair_traits.hpp.

template<typename T1, typename T2>

const bool Arageli::type_pair_traits_helper< T1, T2, true, true >::is_safe_initializable [static]

Initial value:

        type_pair_traits<T1, TE2>::is_safe_initializable
        ||
            type_pair_traits<TE1, TE2>::is_safe_initializable &&
            !type_pair_traits<T1, TE2>::is_safe_initializable &&
            TT1::is_rational == TT2::is_rational &&
            TT1::is_vector == TT2::is_vector &&
            TT1::is_matrix == TT2::is_matrix &&
            TT1::is_complex_number == TT2::is_complex_number &&
            TT1::is_polynom == TT2::is_polynom

Definition at line 156 of file type_pair_traits.hpp.

template<typename T1, typename T2>

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

Initial value:

        TT1::is_specialized && TT2::is_specialized

Definition at line 89 of file type_pair_traits.hpp.

---

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

• type_pair_traits.hpp

---