CGAL 5.1.5 - Algebraic Foundations
|
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 | |
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 In case a functor is not provided, it is set to | |
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 | |
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.
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.
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.