Arageli::type_traits_default< T > Struct Template Reference

Minimal implementation for each specialization of type_traits. More...

#include <type_traits.hpp>

Inheritance diagram for Arageli::type_traits_default< T >:

List of all members.

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

---

Detailed Description

template<typename T>
struct Arageli::type_traits_default< T >

Minimal implementation for each specialization of type_traits.

Definition at line 167 of file type_traits.hpp.

---

Member Typedef Documentation

template<typename T>

typedef type_category::type Arageli::type_traits_default< T >::category_type

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, Arageli::type_traits_iterator< Iter, Val >, Arageli::type_traits_string< Str, Char >, Arageli::type_traits_iostream< Str >, Arageli::type_traits< vector< T, REFCNT > >, Arageli::type_traits_iterator< T *, T >, Arageli::type_traits_iterator< T[Size], T >, Arageli::type_traits_string< char *, char >, Arageli::type_traits_string< const char *, char >, Arageli::type_traits_string< char[Size], char >, Arageli::type_traits_string< std::basic_string< Char, CharTr, A >, Char >, Arageli::type_traits_string< wchar_t *, wchar_t >, Arageli::type_traits_string< const wchar_t *, wchar_t >, Arageli::type_traits_string< wchar_t[Size], wchar_t >, Arageli::type_traits_iostream< std::basic_ostream< Ch, ChT > >, and Arageli::type_traits_iostream< std::basic_istream< Ch, ChT > >.

Definition at line 208 of file type_traits.hpp.

template<typename T>

typedef T Arageli::type_traits_default< T >::element_type

Type of each element if T is composite type.

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits_iterator< Iter, Val >, Arageli::type_traits_string< Str, Char >, Arageli::type_traits< vector< T, REFCNT > >, Arageli::type_traits_iterator< T *, T >, Arageli::type_traits_iterator< T[Size], T >, Arageli::type_traits_string< char *, char >, Arageli::type_traits_string< const char *, char >, Arageli::type_traits_string< char[Size], char >, Arageli::type_traits_string< std::basic_string< Char, CharTr, A >, Char >, Arageli::type_traits_string< wchar_t *, wchar_t >, Arageli::type_traits_string< const wchar_t *, wchar_t >, and Arageli::type_traits_string< wchar_t[Size], wchar_t >.

Definition at line 205 of file type_traits.hpp.

---

Member Data Documentation

template<typename T>

const category_type Arageli::type_traits_default< T >::category_value [static]

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, Arageli::type_traits_iterator< Iter, Val >, Arageli::type_traits_string< Str, Char >, Arageli::type_traits_iostream< Str >, Arageli::type_traits< vector< T, REFCNT > >, Arageli::type_traits_iterator< T *, T >, Arageli::type_traits_iterator< T[Size], T >, Arageli::type_traits_string< char *, char >, Arageli::type_traits_string< const char *, char >, Arageli::type_traits_string< char[Size], char >, Arageli::type_traits_string< std::basic_string< Char, CharTr, A >, Char >, Arageli::type_traits_string< wchar_t *, wchar_t >, Arageli::type_traits_string< const wchar_t *, wchar_t >, Arageli::type_traits_string< wchar_t[Size], wchar_t >, Arageli::type_traits_iostream< std::basic_ostream< Ch, ChT > >, and Arageli::type_traits_iostream< std::basic_istream< Ch, ChT > >.

Definition at line 211 of file type_traits.hpp.

template<typename T>

const bool Arageli::type_traits_default< T >::has_associative_addition = false [static]

Reimplemented in Arageli::type_traits< T >.

Definition at line 193 of file type_traits.hpp.

template<typename T>

const bool Arageli::type_traits_default< T >::has_associative_multiplication = false [static]

Reimplemented in Arageli::type_traits< T >.

Definition at line 192 of file type_traits.hpp.

template<typename T>

const bool Arageli::type_traits_default< T >::has_commutative_addition = false [static]

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, and Arageli::type_traits< vector< T, REFCNT > >.

Definition at line 191 of file type_traits.hpp.

template<typename T>

const bool Arageli::type_traits_default< T >::has_commutative_multiplication = false [static]

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, and Arageli::type_traits< vector< T, REFCNT > >.

Definition at line 190 of file type_traits.hpp.

template<typename T>

const bool Arageli::type_traits_default< T >::has_distributive_addition = false [static]

Reimplemented in Arageli::type_traits< T >.

Definition at line 195 of file type_traits.hpp.

template<typename T>

const bool Arageli::type_traits_default< T >::has_distributive_multiplication = false [static]

Reimplemented in Arageli::type_traits< T >.

Definition at line 194 of file type_traits.hpp.

template<typename T>

const bool Arageli::type_traits_default< T >::has_null = false [static]

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, and Arageli::type_traits< vector< T, REFCNT > >.

Definition at line 196 of file type_traits.hpp.

template<typename T>

const bool Arageli::type_traits_default< T >::has_opposite_unit = false [static]

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, and Arageli::type_traits< vector< T, REFCNT > >.

Definition at line 198 of file type_traits.hpp.

template<typename T>

const bool Arageli::type_traits_default< T >::has_unit = false [static]

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, and Arageli::type_traits< vector< T, REFCNT > >.

Definition at line 197 of file type_traits.hpp.

template<typename T>

const bool Arageli::type_traits_default< T >::has_zero_divisor = true [static]

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, and Arageli::type_traits< vector< T, REFCNT > >.

Definition at line 189 of file type_traits.hpp.

template<typename T>

const bool Arageli::type_traits_default< T >::is_additive_group = false [static]

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, and Arageli::type_traits< vector< T, REFCNT > >.

Definition at line 183 of file type_traits.hpp.

template<typename T>

const bool Arageli::type_traits_default< T >::is_aggregate = false [static]

True iff type is composite type consists another elements.

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits_iterator< Iter, Val >, Arageli::type_traits_string< Str, Char >, Arageli::type_traits_iostream< Str >, Arageli::type_traits< vector< T, REFCNT > >, Arageli::type_traits_iterator< T *, T >, Arageli::type_traits_iterator< T[Size], T >, Arageli::type_traits_string< char *, char >, Arageli::type_traits_string< const char *, char >, Arageli::type_traits_string< char[Size], char >, Arageli::type_traits_string< std::basic_string< Char, CharTr, A >, Char >, Arageli::type_traits_string< wchar_t *, wchar_t >, Arageli::type_traits_string< const wchar_t *, wchar_t >, Arageli::type_traits_string< wchar_t[Size], wchar_t >, Arageli::type_traits_iostream< std::basic_ostream< Ch, ChT > >, and Arageli::type_traits_iostream< std::basic_istream< Ch, ChT > >.

Definition at line 202 of file type_traits.hpp.

template<typename T>

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

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, and Arageli::type_traits< vector< T, REFCNT > >.

Definition at line 179 of file type_traits.hpp.

template<typename T>

const bool Arageli::type_traits_default< T >::is_entire_ring = false [static]

Reimplemented in Arageli::type_traits< T >.

Definition at line 199 of file type_traits.hpp.

template<typename T>

const bool Arageli::type_traits_default< T >::is_field = false [static]

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, and Arageli::type_traits< vector< T, REFCNT > >.

Definition at line 181 of file type_traits.hpp.

template<typename T>

const bool Arageli::type_traits_default< T >::is_finite = false [static]

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, and Arageli::type_traits< vector< T, REFCNT > >.

Definition at line 182 of file type_traits.hpp.

template<typename T>

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

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, and Arageli::type_traits< vector< T, REFCNT > >.

Definition at line 185 of file type_traits.hpp.

template<typename T>

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

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, and Arageli::type_traits< vector< T, REFCNT > >.

Definition at line 175 of file type_traits.hpp.

template<typename T>

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

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, and Arageli::type_traits< vector< T, REFCNT > >.

Definition at line 186 of file type_traits.hpp.

template<typename T>

const bool Arageli::type_traits_default< T >::is_multiplicative_group = false [static]

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, and Arageli::type_traits< vector< T, REFCNT > >.

Definition at line 184 of file type_traits.hpp.

template<typename T>

const bool Arageli::type_traits_default< T >::is_number = false [static]

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, and Arageli::type_traits< vector< T, REFCNT > >.

Definition at line 174 of file type_traits.hpp.

template<typename T>

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

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, and Arageli::type_traits< vector< T, REFCNT > >.

Definition at line 176 of file type_traits.hpp.

template<typename T>

const bool Arageli::type_traits_default< T >::is_rational = false [static]

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

Reimplemented in Arageli::type_traits< rational< T > >, and Arageli::type_traits< T >.

Definition at line 172 of file type_traits.hpp.

template<typename T>

const bool Arageli::type_traits_default< T >::is_rational_number = false [static]

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, and Arageli::type_traits< vector< T, REFCNT > >.

Definition at line 178 of file type_traits.hpp.

template<typename T>

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

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, and Arageli::type_traits< vector< T, REFCNT > >.

Definition at line 177 of file type_traits.hpp.

template<typename T>

const bool Arageli::type_traits_default< T >::is_ring = false [static]

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, and Arageli::type_traits< vector< T, REFCNT > >.

Definition at line 180 of file type_traits.hpp.

template<typename T>

const bool Arageli::type_traits_default< T >::is_specialized = false [static]

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, Arageli::type_traits_iterator< Iter, Val >, Arageli::type_traits_string< Str, Char >, Arageli::type_traits_iostream< Str >, Arageli::type_traits< vector< T, REFCNT > >, Arageli::type_traits_iterator< T *, T >, Arageli::type_traits_iterator< T[Size], T >, Arageli::type_traits_string< char *, char >, Arageli::type_traits_string< const char *, char >, Arageli::type_traits_string< char[Size], char >, Arageli::type_traits_string< std::basic_string< Char, CharTr, A >, Char >, Arageli::type_traits_string< wchar_t *, wchar_t >, Arageli::type_traits_string< const wchar_t *, wchar_t >, Arageli::type_traits_string< wchar_t[Size], wchar_t >, Arageli::type_traits_iostream< std::basic_ostream< Ch, ChT > >, and Arageli::type_traits_iostream< std::basic_istream< Ch, ChT > >.

Definition at line 169 of file type_traits.hpp.

template<typename T>

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

Reimplemented in Arageli::type_traits< matrix< T, REFCNT > >, Arageli::type_traits< rational< T > >, Arageli::type_traits< monom< F, I > >, Arageli::type_traits< sparse_polynom< F, I, REFCNT > >, Arageli::type_traits< T >, Arageli::type_traits< std::complex< T > >, and Arageli::type_traits< vector< T, REFCNT > >.

Definition at line 187 of file type_traits.hpp.

---

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

• type_traits.hpp

---