All types that can represent only numbers from a finite domain are marked with is_finite_type. More...

Collaboration diagram for is_finite_type:

Data Structures
struct	carl::is_finite_type< T >
	States if a type represents only a finite domain. More...

struct	carl::is_finite_type< GFNumber< C > >
	Type trait is_finite_type_domain. More...

Detailed Description

All types that can represent only numbers from a finite domain are marked with is_finite_type.

All fundamental types are also finite.

Data Structure Documentation

struct carl::is_finite_type

States if a type represents only a finite domain.

Default is true for fundamental types, false otherwise.

Definition at line 153 of file typetraits.h.

Inheritance diagram for carl::is_finite_type< T >:

[legend]

Collaboration diagram for carl::is_finite_type< T >:

[legend]

struct carl::is_finite_type< GFNumber< C > >

Type trait is_finite_type_domain.

Default is false.

Definition at line 161 of file typetraits.h.

Inheritance diagram for carl::is_finite_type< GFNumber< C > >:

[legend]

Collaboration diagram for carl::is_finite_type< GFNumber< C > >:

[legend]