Concept

RealEmbeddableTraits

Definition

A model of RealEmbeddableTraits is associated to a number type Type and reflects the properties of this type with respect to the concept RealEmbeddable.

Types

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.

Functors

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

Has Models

CGAL::Real_embeddable_traits<T>