GMPxx Usage

Collaboration diagram for GMPxx Usage:

Files
file	hash.h
file	operations.h
file	typetraits.h

Data Structures
struct	carl::is_integer_type< mpz_class >
	States that mpz_class has the trait is_integer_type . More...
struct	carl::is_rational_type< mpq_class >
	States that mpq_class has the trait is_rational_type . More...
struct	carl::IntegralType< mpq_class >
	States that IntegralType of mpq_class is mpz_class . More...
struct	carl::IntegralType< mpz_class >
	States that IntegralType of mpz_class is mpz_class . More...

Detailed Description

---

Data Structure Documentation

carl::is_integer_type< mpz_class >

struct carl::is_integer_type< mpz_class >

States that mpz_class has the trait is_integer_type .

<>

Definition at line 21 of file typetraits.h.

Inheritance diagram for carl::is_integer_type< mpz_class >:

Collaboration diagram for carl::is_integer_type< mpz_class >:

carl::is_rational_type< mpq_class >

struct carl::is_rational_type< mpq_class >

States that mpq_class has the trait is_rational_type .

<>

Definition at line 22 of file typetraits.h.

Inheritance diagram for carl::is_rational_type< mpq_class >:

Collaboration diagram for carl::is_rational_type< mpq_class >:

carl::IntegralType< mpq_class >

struct carl::IntegralType< mpq_class >

States that IntegralType of mpq_class is mpz_class .

<>

Definition at line 24 of file typetraits.h.

Inheritance diagram for carl::IntegralType< mpq_class >:

Collaboration diagram for carl::IntegralType< mpq_class >:

Public Types
using	type = mpz_class
	A type associated with the type. More...

Member Typedef Documentation

type

using carl::has_subtype< mpz_class >::type = mpz_class

inherited

A type associated with the type.

Definition at line 77 of file typetraits.h.

carl::IntegralType< mpz_class >

struct carl::IntegralType< mpz_class >

States that IntegralType of mpz_class is mpz_class .

<>

Definition at line 25 of file typetraits.h.

Inheritance diagram for carl::IntegralType< mpz_class >:

Collaboration diagram for carl::IntegralType< mpz_class >:

Public Types
using	type = mpz_class
	A type associated with the type. More...

Member Typedef Documentation

type

using carl::has_subtype< mpz_class >::type = mpz_class

inherited

A type associated with the type.

Definition at line 77 of file typetraits.h.