1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
|
// Copyright (c) 2013 GeometryFactory (France). All rights reserved.
// All rights reserved.
//
// This file is part of CGAL (www.cgal.org)
//
// $URL: https://github.com/CGAL/cgal/blob/v6.1/Circular_kernel_3/include/CGAL/Circular_kernel_3/Intersection_traits.h $
// $Id: include/CGAL/Circular_kernel_3/Intersection_traits.h b26b07a1242 $
// SPDX-License-Identifier: GPL-3.0-or-later OR LicenseRef-Commercial
//
//
// Author(s) : Philipp Möller and Sebastien Loriot
#ifndef CGAL_CIRCULAR_KERNEL_3_INTERSECTION_TRAITS_H
#define CGAL_CIRCULAR_KERNEL_3_INTERSECTION_TRAITS_H
#include <CGAL/license/Circular_kernel_3.h>
#include <CGAL/Intersection_traits.h>
#include <variant>
#include <utility>
namespace CGAL {
template <typename SK, typename T1, typename T2, typename T3=void*>
struct SK3_Intersection_traits
{};
// Intersection_traits for the circular kernel
// The additional CGAL_ADDITIONAL_VARIANT_FOR_ICL ( = int) in the variant
// has the only purpose to work around a bug of the Intel compiler,
// which without it produces the error
// /usr/include/boost/type_traits/has_nothrow_copy.hpp(36): internal error: bad pointer
// template struct has_nothrow_copy_constructor : public integral_constant{};
// See also https://github.com/CGAL/cgal/issues/1581
template <typename SK>
struct SK3_Intersection_traits<SK, typename SK::Sphere_3, typename SK::Line_3>
{
typedef std::variant<
std::pair< typename SK::Circular_arc_point_3, unsigned int >
CGAL_ADDITIONAL_VARIANT_FOR_ICL
> type;
};
template <typename SK>
struct SK3_Intersection_traits<SK, typename SK::Line_3, typename SK::Sphere_3>
: SK3_Intersection_traits<SK, typename SK::Sphere_3, typename SK::Line_3> {};
template <typename SK>
struct SK3_Intersection_traits<SK, typename SK::Circle_3, typename SK::Plane_3>
{
typedef std::variant<
std::pair< typename SK::Circular_arc_point_3, unsigned int >,
typename SK::Circle_3
CGAL_ADDITIONAL_VARIANT_FOR_ICL
> type; };
template <typename SK>
struct SK3_Intersection_traits<SK, typename SK::Plane_3, typename SK::Circle_3>
: SK3_Intersection_traits<SK, typename SK::Circle_3, typename SK::Plane_3> {};
template <typename SK>
struct SK3_Intersection_traits<SK, typename SK::Circle_3, typename SK::Sphere_3>
{
typedef std::variant<
std::pair< typename SK::Circular_arc_point_3, unsigned int >,
typename SK::Circle_3
CGAL_ADDITIONAL_VARIANT_FOR_ICL
> type;
};
template <typename SK>
struct SK3_Intersection_traits<SK, typename SK::Sphere_3, typename SK::Circle_3>
: SK3_Intersection_traits<SK, typename SK::Circle_3, typename SK::Sphere_3> {};
template <typename SK>
struct SK3_Intersection_traits<SK, typename SK::Circle_3, typename SK::Circle_3>
{
typedef std::variant<
std::pair <typename SK::Circular_arc_point_3, unsigned int >,
typename SK::Circle_3
CGAL_ADDITIONAL_VARIANT_FOR_ICL
> type;
};
template <typename SK>
struct SK3_Intersection_traits<SK, typename SK::Circle_3, typename SK::Line_3>
{
typedef std::variant<
std::pair <typename SK::Circular_arc_point_3, unsigned int >
CGAL_ADDITIONAL_VARIANT_FOR_ICL
> type;
};
template <typename SK>
struct SK3_Intersection_traits<SK, typename SK::Line_3, typename SK::Circle_3>
: SK3_Intersection_traits<SK, typename SK::Circle_3, typename SK::Line_3> {};
template <typename SK>
struct SK3_Intersection_traits<SK, typename SK::Circular_arc_3, typename SK::Circular_arc_3>
{
typedef std::variant<
typename SK::Circle_3,
std::pair <typename SK::Circular_arc_point_3, unsigned int >,
typename SK::Circular_arc_3
CGAL_ADDITIONAL_VARIANT_FOR_ICL
> type;
};
template <typename SK>
struct SK3_Intersection_traits<SK, typename SK::Circular_arc_3, typename SK::Plane_3>
{
typedef std::variant<
std::pair <typename SK::Circular_arc_point_3, unsigned int >,
typename SK::Circular_arc_3
CGAL_ADDITIONAL_VARIANT_FOR_ICL
> type;
};
template <typename SK>
struct SK3_Intersection_traits<SK, typename SK::Plane_3, typename SK::Circular_arc_3>
: SK3_Intersection_traits<SK, typename SK::Circular_arc_3, typename SK::Plane_3> {};
template <typename SK>
struct SK3_Intersection_traits<SK, typename SK::Line_arc_3, typename SK::Line_arc_3>
{
typedef std::variant<
std::pair <typename SK::Circular_arc_point_3, unsigned int >,
typename SK::Line_arc_3
CGAL_ADDITIONAL_VARIANT_FOR_ICL
> type;
};
//struct to factorize the following specializations
template <typename SK>
struct SK3_intersect_ternary
{
typedef std::variant<
typename SK::Circle_3,
typename SK::Plane_3,
typename SK::Sphere_3,
std::pair< typename SK::Circular_arc_point_3, unsigned >,
int
> type;
};
template <typename SK>
struct SK3_Intersection_traits<SK, typename SK::Sphere_3, typename SK::Sphere_3, typename SK::Sphere_3>
: SK3_intersect_ternary<SK> {};
template <typename SK>
struct SK3_Intersection_traits<SK, typename SK::Sphere_3, typename SK::Sphere_3, typename SK::Plane_3>
: SK3_intersect_ternary<SK> {};
template <typename SK>
struct SK3_Intersection_traits<SK, typename SK::Plane_3, typename SK::Sphere_3, typename SK::Sphere_3>
: SK3_intersect_ternary<SK> {};
template <typename SK>
struct SK3_Intersection_traits<SK, typename SK::Plane_3, typename SK::Plane_3, typename SK::Sphere_3>
: SK3_intersect_ternary<SK> {};
template <typename SK>
struct SK3_Intersection_traits<SK, typename SK::Sphere_3, typename SK::Plane_3, typename SK::Plane_3>
: SK3_intersect_ternary<SK> {};
} //end of namespace CGAL
#endif // CGAL_CIRCULAR_KERNEL_2_INTERSECTION_TRAITS_H
|
