CGAL 5.4 - Algebraic Foundations
|
#include <CGAL/Coercion_traits.h>
An instance of Coercion_traits
reflects the type coercion of the types A and B, it is symmetric in the two template arguments.
Types | |
typedef unspecified_type | Are_explicit_interoperable |
Tag indicating whether the two types A and B are a model of ExplicitInteroperable More... | |
typedef unspecified_type | Are_implicit_interoperable |
Tag indicating whether the two types A and B are a model of ImplicitInteroperable More... | |
typedef unspecified_type | Type |
The coercion type of A and B . More... | |
typedef unspecified_type | Cast |
A model of the AdaptableFunctor concept, providing the conversion of A or B to Type . More... | |
typedef unspecified_type CGAL::Coercion_traits< A, B >::Are_explicit_interoperable |
Tag indicating whether the two types A and B are a model of ExplicitInteroperable
This is either CGAL::Tag_true
or CGAL::Tag_false
.
typedef unspecified_type CGAL::Coercion_traits< A, B >::Are_implicit_interoperable |
Tag indicating whether the two types A and B are a model of ImplicitInteroperable
This is either CGAL::Tag_true
or CGAL::Tag_false
.
typedef unspecified_type CGAL::Coercion_traits< A, B >::Cast |
A model of the AdaptableFunctor
concept, providing the conversion of A
or B
to Type
.
In case A and B are not ExplicitInteroperable
this is undefined.
typedef unspecified_type CGAL::Coercion_traits< A, B >::Type |
The coercion type of A
and B
.
In case A and B are not ExplicitInteroperable
this is undefined.