|
CGAL 6.0 - 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.
CGAL::Real_embeddable_traits<T> 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. | |
| typedef unspecified_type | Boolean |
| This type specifies the return type of the predicates provided by this traits. | |
| typedef unspecified_type | Sign |
This type specifies the return type of the Sgn functor. | |
| typedef unspecified_type | Comparison_result |
This type specifies the return type of the Compare functor. | |
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.