capd::TypeTraits< T > Class Template Reference

Defines type traits such as their values zero, one etc. More...

#include <capd/basicalg/TypeTraits.h>

Public Types
typedef T	Real

Static Public Member Functions
static constexpr T	zero () noexcept
	returns object set to zero More...
static constexpr T	one () noexcept
	returns object set to one More...
static constexpr T	max (T a, T b) noexcept
static constexpr T	min (T a, T b) noexcept

Detailed Description

template<typename T>
class capd::TypeTraits< T >

Defines type traits such as their values zero, one etc.

CAPD types should define specialization in their header files.

Known specialization are in

• capd/interval/Interval.h
• capd/filib/Interval.h
• capd/interval/IComplex.h
• capd/multiPrec/MpReal.h
• capd/rings/Z2.h
• capd/rings/Zp.h

Member Typedef Documentation

Real

template<typename T >

typedef T capd::TypeTraits< T >::Real

Member Function Documentation

max()

template<typename T >

static constexpr T capd::TypeTraits< T >::max ( T  a, T  b  )

staticconstexprnoexcept

min()

template<typename T >

static constexpr T capd::TypeTraits< T >::min ( T  a, T  b  )

staticconstexprnoexcept

one()

template<typename T >

static constexpr T capd::TypeTraits< T >::one ( )

inlinestaticconstexprnoexcept

returns object set to one

zero()

template<typename T >

static constexpr T capd::TypeTraits< T >::zero ( )

inlinestaticconstexprnoexcept

returns object set to zero