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