carl::is_subset_of_rationals_type< T > Struct Template Reference

States if a type represents a subset of all rationals and the representation is similar to a rational. More...

#include <typetraits.h>

Static Public Attributes
static constexpr bool	value = is_rational_type<T>::value
	Default value of this trait. More...

Detailed Description

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

States if a type represents a subset of all rationals and the representation is similar to a rational.

Default is true for rationals, false otherwise.

Definition at line 283 of file typetraits.h.

Field Documentation

value

template<typename T >

constexpr bool carl::is_subset_of_rationals_type< T >::value = is_rational_type<T>::value

staticconstexpr

Default value of this trait.

Definition at line 285 of file typetraits.h.

---

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

• carl-arith/numbers/typetraits.h