|
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:
| RealEmbeddableTraits::Type | |
|
The associated number type.
| |
| RealEmbeddableTraits::Is_real_embeddable | |
|
Tag indicating whether the associated type is real embeddable. This is either CGAL::Tag_true or CGAL::Tag_false.
| |
| RealEmbeddableTraits::Boolean | |
|
This type specifies the return type of the predicates provided
by this traits. The type must be convertible to bool and
typically the type indeed maps to bool. However, there are also
cases such as interval arithmetic, in which it is Uncertain<bool>
or some similar type.
| |
| RealEmbeddableTraits::Sign | |
|
This type specifies the return type of the Sgn functor.
The type must be convertible to CGAL::Sign and
typically the type indeed maps to CGAL::Sign. However, there are also
cases such as interval arithmetic, in which it is Uncertain<CGAL::Sign>
or some similar type.
| |
| RealEmbeddableTraits::Comparison_result | |
|
This type specifies the return type of the Compare functor.
The type must be convertible to CGAL::Comparison_result and
typically the type indeed maps to CGAL::Comparison_result. However, there are also
cases such as interval arithmetic, in which it is Uncertain<CGAL::Comparison_result>
or some similar type.
| |
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.
| RealEmbeddableTraits::Is_zero | |
|
A model of RealEmbeddableTraits::IsZero
In case Type is also model of IntegralDomainWithoutDivision
this is a model of AlgebraicStructureTraits::IsZero.
| |
| RealEmbeddableTraits::Abs | |
|
A model of RealEmbeddableTraits::Abs
| |
| RealEmbeddableTraits::Sgn | |
|
A model of RealEmbeddableTraits::Sgn
| |
| RealEmbeddableTraits::Is_positive | |
|
A model of RealEmbeddableTraits::IsPositive
| |
| RealEmbeddableTraits::Is_negative | |
|
A model of RealEmbeddableTraits::IsNegative
| |
| RealEmbeddableTraits::Compare | |
|
A model of RealEmbeddableTraits::Compare
| |
| RealEmbeddableTraits::To_double | |
|
A model of RealEmbeddableTraits::ToDouble
| |
| RealEmbeddableTraits::To_interval | |
|
A model of RealEmbeddableTraits::ToInterval
| |