is_rational_type

All integral types that can (in theory) represent all rationals are marked with is_rational_type. More...

Collaboration diagram for is_rational_type:

Modules
	is_subset_of_rationals_type
	All rational types that can represent a subset of all rationals are marked with is_subset_of_rationals_type.

Data Structures
struct	carl::is_rational_type< cln::cl_RA >
	States that cln::cl_RA has the trait is_rational_type . More...
struct	carl::is_rational_type< mpq_class >
	States that mpq_class has the trait is_rational_type . More...

Detailed Description

All integral types that can (in theory) represent all rationals are marked with is_rational_type.

It is assumed that a fractional representation is used. A type that is rational must satisfy all requirements of is_field_type. Additionally, it must implement the following methods:

• get_num(): Returns the numerator of a fraction.
• get_denom(): Return the denominator of a fraction.
• rationalize(): Converts a native floating point number to the rational type.

---

Data Structure Documentation

carl::is_rational_type< cln::cl_RA >

struct carl::is_rational_type< cln::cl_RA >

States that cln::cl_RA has the trait is_rational_type .

<>

Definition at line 21 of file typetraits.h.

Inheritance diagram for carl::is_rational_type< cln::cl_RA >:

Collaboration diagram for carl::is_rational_type< cln::cl_RA >:

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 >: