carl::is_number_type< T > Struct Template Reference

States if a type is a number type. More...

#include <typetraits.h>

Static Public Attributes
static const bool	value = is_subset_of_rationals_type<T>::value || is_subset_of_integers_type<T>::value || is_float_type<T>::value
	Default value of this trait. More...

Detailed Description

template<typename T>
struct carl::is_number_type< T >

States if a type is a number type.

Default is true for rationals, integers and floats, false otherwise.

Definition at line 237 of file typetraits.h.

Field Documentation

value

template<typename T >

constexpr bool carl::is_number_type< T >::value = is_subset_of_rationals_type<T>::value || is_subset_of_integers_type<T>::value || is_float_type<T>::value

staticconstexpr

Default value of this trait.

Definition at line 239 of file typetraits.h.

---

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

• carl-arith/numbers/typetraits.h