carl  24.04
Computer ARithmetic Library
is_float_type

All types that represent floating point numbers are marked with is_float_type. More...

Collaboration diagram for is_float_type:

Data Structures

struct  carl::is_float_type< T >
 States if a type is a floating point type. More...
 

Detailed Description

All types that represent floating point numbers are marked with is_float_type.

A floating point type is used to approximate real number and in general behaves like a field. However, it does not guarantee exact computation and may be subject to rounding errors or overflows.


Data Structure Documentation

◆ carl::is_float_type

struct carl::is_float_type

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

States if a type is a floating point type.

Default is true if std::is_floating_point is true for this type.

Definition at line 177 of file typetraits.h.

Inheritance diagram for carl::is_float_type< T >:
Collaboration diagram for carl::is_float_type< T >: