carl::IntegralType< carl::FLOAT_T< F > > Struct Template Reference

#include <typetraits.h>

Public Types
using	type = mpz_class

Detailed Description

template<typename F>
struct carl::IntegralType< carl::FLOAT_T< F > >

Definition at line 20 of file typetraits.h.

Member Typedef Documentation

type

template<typename F >

using carl::IntegralType< carl::FLOAT_T< F > >::type = mpz_class

Definition at line 25 of file typetraits.h.

---

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

• carl-arith/numbers/adaption_float/typetraits.h