Concept

ModularTraits

Definition

A model of ModularTraits is associated to a specific Type. In case this associated type is Modularizable, this is indicated by the boolean tag Is_modularizable. The mapping into the Residue_type is provided by the functor Modular_image.

Types

A model of ModularTraits is supposed to provide:

ModularTraits::Type
The associated type.

ModularTraits::Is_modularizable
Tag indicating whether the associated type is modularizable.
This is either CGAL::Tag_true or CGAL::Tag_false.

ModularTraits::Residue_type
The type of the modular image.
In case the type is not Modularizable this is undefined.

Functors

In case the associated type is Modularizable all functors are provided.
In case a functor is not provided, it is set to CGAL::Null_functor.

ModularTraits::Modular_image
A model of ModularTraits::ModularImage

ModularTraits::Modular_image_representative
A model of ModularTraits::ModularImageRepresentative

Has Models

CGAL::Modular_traits<T>

See Also

CGAL::Residue
Modularizable