All integral types are marked with is_subset_of_integers_type.
More...
Detailed Description
All integral types are marked with is_subset_of_integers_type.
They must satisfy the same conditions as for is_integer_type, except that they may represent only a subset of all integer numbers. If this is the case, std::numeric_limits must be specialized. If the limits are exceeded, the type may behave arbitrarily and the type is not obliged to check for this.
Data Structure Documentation
◆ carl::is_subset_of_integers_type< signed char >
| struct carl::is_subset_of_integers_type< signed char > |
States that signed char has the trait is_subset_of_integers_type .
<>
Definition at line 17 of file typetraits.h.
◆ carl::is_subset_of_integers_type< short int >
| struct carl::is_subset_of_integers_type< short int > |
States that short int has the trait is_subset_of_integers_type .
<>
Definition at line 18 of file typetraits.h.
◆ carl::is_subset_of_integers_type< int >
| struct carl::is_subset_of_integers_type< int > |
States that int has the trait is_subset_of_integers_type .
<>
Definition at line 19 of file typetraits.h.
◆ carl::is_subset_of_integers_type< long int >
| struct carl::is_subset_of_integers_type< long int > |
States that long int has the trait is_subset_of_integers_type .
<>
Definition at line 20 of file typetraits.h.
◆ carl::is_subset_of_integers_type< long long int >
| struct carl::is_subset_of_integers_type< long long int > |
States that long long int has the trait is_subset_of_integers_type .
<>
Definition at line 21 of file typetraits.h.
◆ carl::is_subset_of_integers_type< unsigned char >
| struct carl::is_subset_of_integers_type< unsigned char > |
States that unsigned char has the trait is_subset_of_integers_type .
<>
Definition at line 23 of file typetraits.h.
◆ carl::is_subset_of_integers_type< unsigned short int >
| struct carl::is_subset_of_integers_type< unsigned short int > |
States that unsigned short int has the trait is_subset_of_integers_type .
<>
Definition at line 24 of file typetraits.h.
◆ carl::is_subset_of_integers_type< unsigned int >
| struct carl::is_subset_of_integers_type< unsigned int > |
States that unsigned int has the trait is_subset_of_integers_type .
<>
Definition at line 25 of file typetraits.h.
◆ carl::is_subset_of_integers_type< unsigned long int >
| struct carl::is_subset_of_integers_type< unsigned long int > |
States that unsigned long int has the trait is_subset_of_integers_type .
<>
Definition at line 26 of file typetraits.h.
◆ carl::is_subset_of_integers_type< unsigned long long int >
| struct carl::is_subset_of_integers_type< unsigned long long int > |
States that unsigned long long int has the trait is_subset_of_integers_type .
<>
Definition at line 27 of file typetraits.h.
◆ carl::is_subset_of_integers_type
| struct carl::is_subset_of_integers_type |
template<typename Type>
struct carl::is_subset_of_integers_type< Type >
States if a type represents a subset of all integers.
Default is true for integer types, false otherwise.
Definition at line 219 of file typetraits.h.
