A model of RealEmbeddableTraits is associated to a number type Type and reflects the properties of this type with respect to the concept RealEmbeddable.
A model of RealEmbeddableTraits is supposed to provide:
| |
The associated number type.
| |
| |
Tag indicating whether the associated type is real embeddable. This is either CGAL::Tag_true or CGAL::Tag_false.
|
In case the associated type is RealEmbeddable all functors are provided.
In case a functor is not provided, it is set to CGAL::Null_functor.
| |
A model of RealEmbeddableTraits::IsZero
In case Type is also model of IntegralDomainWithoutDivision
this is a model of AlgebraicStructureTraits::IsZero.
| |
| |
A model of RealEmbeddableTraits::Abs
| |
| |
A model of RealEmbeddableTraits::Sign
| |
| |
A model of RealEmbeddableTraits::IsPositive
| |
| |
A model of RealEmbeddableTraits::IsNegative
| |
| |
A model of RealEmbeddableTraits::Compare
| |
| |
A model of RealEmbeddableTraits::ToDouble
| |
| |
A model of RealEmbeddableTraits::ToInterval
|