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
|
// Copyright (c) 2014
// INRIA Saclay-Ile de France (France)
//
// This file is part of CGAL (www.cgal.org); you can redistribute it and/or
// modify it under the terms of the GNU Lesser General Public License as
// published by the Free Software Foundation; either version 3 of the License,
// or (at your option) any later version.
//
// Licensees holding a valid commercial license may use this file in
// accordance with the commercial license agreement provided with the software.
//
// This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
// WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
//
// $URL$
// $Id$
//
// Author(s) : Marc Glisse
#ifndef CGAL_KD_KO_CONVERTER_H
#define CGAL_KD_KO_CONVERTER_H
#include <CGAL/NewKernel_d/utils.h>
#include <CGAL/NewKernel_d/functor_tags.h>
#include <CGAL/Kernel/mpl.h> // First_if_different
#include <CGAL/Dimension.h>
namespace CGAL {
template <class Tag_, class K1, class K2> struct KO_converter;
//TODO: It would probably be better if this was a Misc Functor in K1.
// This way K1 could chose how it wants to present its points (sparse
// iterator?) and derived classes would inherit it.
namespace internal {
template <class D /*=Dynamic_dimension_tag*/, class K1, class K2>
struct Point_converter_help {
typedef typename Get_type<K1, Point_tag>::type argument_type;
typedef typename Get_type<K2, Point_tag>::type result_type;
template <class C>
result_type operator()(K1 const& k1, K2 const& k2, C const& conv, argument_type const& p) const {
typename Get_functor<K1, Construct_ttag<Point_cartesian_const_iterator_tag> >::type i(k1);
typename Get_functor<K2, Construct_ttag<Point_tag> >::type cp(k2);
return cp(conv(i(p,Begin_tag())),conv(i(p,End_tag())));
}
};
#ifdef CGAL_CXX11
// This doesn't seem so useful, the compiler should be able to handle
// the iterators just as efficiently.
template <int d, class K1, class K2>
struct Point_converter_help<Dimension_tag<d>,K1,K2> {
typedef typename Get_type<K1, Point_tag>::type argument_type;
typedef typename Get_type<K2, Point_tag>::type result_type;
template <class C,int...I>
result_type help(Indices<I...>, K1 const& k1, K2 const& k2, C const& conv, argument_type const& p) const {
typename Get_functor<K1, Compute_point_cartesian_coordinate_tag>::type cc(k1);
typename Get_functor<K2, Construct_ttag<Point_tag> >::type cp(k2);
return cp(conv(cc(p,I))...);
}
template <class C>
result_type operator()(K1 const& k1, K2 const& k2, C const& conv, argument_type const& p) const {
return help(typename N_increasing_indices<d>::type(),k1,k2,conv,p);
}
};
#endif
}
template <class K1, class K2> struct KO_converter<Point_tag,K1,K2>
: internal::Point_converter_help<typename K1::Default_ambient_dimension,K1,K2>
{};
template <class K1, class K2> struct KO_converter<Vector_tag,K1,K2>{
typedef typename Get_type<K1, Vector_tag>::type K1_Vector;
// Disabling is now done in KernelD_converter
// // can't use vector without at least a placeholder point because of this
// typedef typename K1:: Point K1_Point;
// typedef typename First_if_different<K1_Vector,K1_Point>::Type argument_type;
typedef K1_Vector argument_type;
typedef typename Get_type<K2, Vector_tag>::type result_type;
template <class C>
result_type operator()(K1 const& k1, K2 const& k2, C const& conv, argument_type const& v) const {
typename Get_functor<K1, Construct_ttag<Vector_cartesian_const_iterator_tag> >::type i(k1);
typename Get_functor<K2, Construct_ttag<Vector_tag> >::type cp(k2);
return cp(conv(i(v,Begin_tag())),conv(i(v,End_tag())));
}
};
template <class K1, class K2> struct KO_converter<Segment_tag,K1,K2>{
typedef typename Get_type<K1, Segment_tag>::type argument_type;
typedef typename Get_type<K2, Segment_tag>::type result_type;
template <class C>
result_type operator()(K1 const& k1, K2 const& k2, C const& conv, argument_type const& s) const {
typename Get_functor<K1, Segment_extremity_tag>::type f(k1);
typename Get_functor<K2, Construct_ttag<Segment_tag> >::type cs(k2);
return cs(conv(f(s,0)),conv(f(s,1)));
}
};
template <class K1, class K2> struct KO_converter<Hyperplane_tag,K1,K2>{
typedef typename Get_type<K1, Hyperplane_tag>::type argument_type;
typedef typename Get_type<K2, Hyperplane_tag>::type result_type;
template <class C>
result_type operator()(K1 const& k1, K2 const& k2, C const& conv, argument_type const& h) const {
typename Get_functor<K1, Orthogonal_vector_tag>::type ov(k1);
typename Get_functor<K1, Hyperplane_translation_tag>::type ht(k1);
typename Get_functor<K2, Construct_ttag<Hyperplane_tag> >::type ch(k2);
return ch(conv(ov(h)),conv(ht(h)));
}
};
template <class K1, class K2> struct KO_converter<Sphere_tag,K1,K2>{
typedef typename Get_type<K1, Sphere_tag>::type argument_type;
typedef typename Get_type<K2, Sphere_tag>::type result_type;
template <class C>
result_type operator()(K1 const& k1, K2 const& k2, C const& conv, argument_type const& s) const {
typename Get_functor<K1, Center_of_sphere_tag>::type cos(k1);
typename Get_functor<K1, Squared_radius_tag>::type sr(k1);
typename Get_functor<K2, Construct_ttag<Sphere_tag> >::type cs(k2);
return cs(conv(cos(s)),conv(sr(s)));
}
};
template <class K1, class K2> struct KO_converter<Weighted_point_tag,K1,K2>{
typedef typename Get_type<K1, Weighted_point_tag>::type argument_type;
typedef typename Get_type<K2, Weighted_point_tag>::type result_type;
template <class C>
result_type operator()(K1 const& k1, K2 const& k2, C const& conv, argument_type const& s) const {
typename Get_functor<K1, Point_drop_weight_tag>::type pdw(k1);
typename Get_functor<K1, Point_weight_tag>::type pw(k1);
typename Get_functor<K2, Construct_ttag<Weighted_point_tag> >::type cwp(k2);
return cwp(conv(pdw(s)),conv(pw(s)));
}
};
}
#endif
|
