\( \newcommand{\E}{\mathrm{E}} \) \( \newcommand{\A}{\mathrm{A}} \) \( \newcommand{\R}{\mathrm{R}} \) \( \newcommand{\N}{\mathrm{N}} \) \( \newcommand{\Q}{\mathrm{Q}} \) \( \newcommand{\Z}{\mathrm{Z}} \) \( \def\ccSum #1#2#3{ \sum_{#1}^{#2}{#3} } \def\ccProd #1#2#3{ \sum_{#1}^{#2}{#3} }\)
CGAL 4.12.2 - Algebraic Foundations
FractionTraits Concept Reference

Definition

A model of FractionTraits is associated with a type Type.

In case the associated type is a Fraction, a model of FractionTraits provides the relevant functionality for decomposing and re-composing as well as the numerator and denominator type.

Has Models:
CGAL::Fraction_traits<T>
See also
FractionTraits_::Decompose
FractionTraits_::Compose
FractionTraits_::CommonFactor

Types

typedef unspecified_type Type
 The associated type.
 
typedef unspecified_type Is_fraction
 Tag indicating whether the associated type is a fraction and can be decomposed into a numerator and denominator. More...
 
typedef unspecified_type Numerator_type
 The type to represent the numerator. More...
 
typedef unspecified_type Denominator_type
 The (simpler) type to represent the denominator. More...
 

Functors

In case Type is not a Fraction all functors are Null_functor.

typedef unspecified_type Compose
 A model of FractionTraits_::Compose.
 
typedef unspecified_type Decompose
 A model of FractionTraits_::Decompose.
 
typedef unspecified_type Common_factor
 A model of FractionTraits_::CommonFactor.
 

Member Typedef Documentation

◆ Denominator_type

The (simpler) type to represent the denominator.

This is undefined in case the associated type is not a fraction.

◆ Is_fraction

Tag indicating whether the associated type is a fraction and can be decomposed into a numerator and denominator.

This is either CGAL::Tag_true or CGAL::Tag_false.

◆ Numerator_type

The type to represent the numerator.

This is undefined in case the associated type is not a fraction.