Arageli::type_traits< rational< T > > Struct Template Reference

Specialization of type_traits for rational. More...

#include <rational.hpp>

Inheritance diagram for Arageli::type_traits< rational< T > >:

List of all members.

Public Types
typedef T	element_type
	Type of each element if T is composite type.
typedef type_category::rational	category_type
Static Public Attributes
static const bool	is_specialized = type_traits<T>::is_specialized
static const bool	is_number = type_traits<T>::is_number
static const bool	is_rational = true
	True iff T is fraction (but not necessary a rational number, for last see below).
static const bool	is_integer_number = false
static const bool	is_polynom = false
static const bool	is_real_number = false
static const bool	is_rational_number = type_traits<T>::is_number
static const bool	is_complex_number = false
static const bool	is_ring = type_traits<T>::is_ring
static const bool	is_field = type_traits<T>::is_ring
static const bool	is_finite = type_traits<T>::is_finite
static const bool	is_additive_group
static const bool	is_multiplicative_group
static const bool	has_zero_divisor = type_traits<T>::has_zero_divisor
static const bool	is_integer_modulo_ring = false
static const bool	is_matrix = false
static const bool	is_vector = false
static const bool	has_commutative_multiplication
static const bool	has_commutative_addition
static const bool	has_null = type_traits<T>::has_null
static const bool	has_unit = type_traits<T>::has_unit
static const bool	has_opposite_unit
static const bool	is_aggregate = true
	True iff type is composite type consists another elements.
static const category_type	category_value

---

Detailed Description

template<typename T>
struct Arageli::type_traits< rational< T > >

Specialization of type_traits for rational.

Definition at line 808 of file rational.hpp.

---

Member Typedef Documentation

template<typename T>

typedef type_category::rational Arageli::type_traits< rational< T > >::category_type

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 852 of file rational.hpp.

template<typename T>

typedef T Arageli::type_traits< rational< T > >::element_type

Type of each element if T is composite type.

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 851 of file rational.hpp.

---

Member Data Documentation

template<typename T>

const type_category::rational Arageli::type_traits< rational< T > >::category_value [static]

Initial value:

    type_category::rational()

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 853 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::has_commutative_addition [static]

Initial value:

                        type_traits<T>::has_commutative_multiplication &&
                        type_traits<T>::has_commutative_addition

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 839 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::has_commutative_multiplication [static]

Initial value:

                        type_traits<T>::has_commutative_multiplication

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 836 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::has_null = type_traits<T>::has_null [static]

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 843 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::has_opposite_unit [static]

Initial value:

                        type_traits<T>::has_opposite_unit &&
                        type_traits<T>::has_unit

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 846 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::has_unit = type_traits<T>::has_unit [static]

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 844 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::has_zero_divisor = type_traits<T>::has_zero_divisor [static]

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 831 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::is_additive_group [static]

Initial value:

                        type_traits<T>::is_additive_group &&
                        type_traits<T>::is_ring

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 823 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::is_aggregate = true [static]

True iff type is composite type consists another elements.

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 850 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::is_complex_number = false [static]

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 818 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::is_field = type_traits<T>::is_ring [static]

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 820 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::is_finite = type_traits<T>::is_finite [static]

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 821 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::is_integer_modulo_ring = false [static]

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 832 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::is_integer_number = false [static]

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 814 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::is_matrix = false [static]

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 833 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::is_multiplicative_group [static]

Initial value:

                        type_traits<T>::is_additive_group &&
                        type_traits<T>::is_ring

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 827 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::is_number = type_traits<T>::is_number [static]

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 812 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::is_polynom = false [static]

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 815 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::is_rational = true [static]

True iff T is fraction (but not necessary a rational number, for last see below).

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 813 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::is_rational_number = type_traits<T>::is_number [static]

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 817 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::is_real_number = false [static]

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 816 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::is_ring = type_traits<T>::is_ring [static]

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 819 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::is_specialized = type_traits<T>::is_specialized [static]

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 811 of file rational.hpp.

template<typename T>

const bool Arageli::type_traits< rational< T > >::is_vector = false [static]

Reimplemented from Arageli::type_traits_default< T >.

Definition at line 834 of file rational.hpp.

---

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

• rational.hpp

---