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.

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::Sign
A model of RealEmbeddableTraits::Sign


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>