CGAL 5.3 - Algebraic Foundations
RealEmbeddableTraits Concept Reference

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

Has Models:
CGAL::Real_embeddable_traits<T>

## Types

A model of RealEmbeddableTraits is supposed to provide:

typedef unspecified_type Type
The associated number type.

typedef unspecified_type Is_real_embeddable
Tag indicating whether the associated type is real embeddable. More...

typedef unspecified_type Boolean
This type specifies the return type of the predicates provided by this traits. More...

typedef unspecified_type Sign
This type specifies the return type of the Sgn functor. More...

typedef unspecified_type Comparison_result
This type specifies the return type of the Compare functor. More...

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

typedef unspecified_type Is_zero
A model of RealEmbeddableTraits_::IsZero In case Type is also model of IntegralDomainWithoutDivision this is a model of AlgebraicStructureTraits_::IsZero.

typedef unspecified_type Abs
A model of RealEmbeddableTraits_::Abs

typedef unspecified_type Sgn
A model of RealEmbeddableTraits_::Sgn

typedef unspecified_type Is_positive
A model of RealEmbeddableTraits_::IsPositive

typedef unspecified_type Is_negative
A model of RealEmbeddableTraits_::IsNegative

typedef unspecified_type Compare
A model of RealEmbeddableTraits_::Compare

typedef unspecified_type To_double
A model of RealEmbeddableTraits_::ToDouble

typedef unspecified_type To_interval
A model of RealEmbeddableTraits_::ToInterval

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

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

## ◆ Is_real_embeddable

Tag indicating whether the associated type is real embeddable.

This is either Tag_true or Tag_false.

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