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
|
// Copyright (c) 2010-2011 CNRS and LIRIS' Establishments (France).
// All rights reserved.
//
// This file is part of CGAL (www.cgal.org)
//
// $URL: https://github.com/CGAL/cgal/blob/v6.1.1/Combinatorial_map/include/CGAL/Combinatorial_map_functors.h $
// $Id: include/CGAL/Combinatorial_map_functors.h 08b27d3db14 $
// SPDX-License-Identifier: LGPL-3.0-or-later OR LicenseRef-Commercial
//
// Author(s) : Guillaume Damiand <guillaume.damiand@liris.cnrs.fr>
//
#ifndef CGAL_COMBINATORIAL_MAP_FUNCTORS_H
#define CGAL_COMBINATORIAL_MAP_FUNCTORS_H
#include <CGAL/Dart_const_iterators.h>
#include <CGAL/Combinatorial_map/internal/Combinatorial_map_internal_functors.h>
#include <vector>
#include <boost/mpl/has_xxx.hpp>
/* Definition of functors used to manage attributes (we need functors as
* attributes are stored in tuple, thus all the access must be done at
* compiling time). Some of these functors are used with
* Foreach_enabled_attributes to iterate through all the non void attribs.
* Functors allowing to group/ungroup attributes are defined in
* Combinatorial_map_group_functors.h. Some internal functors are defined
* in internal/Combinatorial_map_internal_functors.h.
*
* Reserve_mark_functor<CMap> to reserve one mark, used with
* Foreach_enabled_attributes to reserve a mark for each non void attribute.
*
* Display_attribute_functor<CMap> to display the address of the i-attribute
* of a given dart (can be used with Foreach_enabled_attributes)
*
* Set_i_attribute_functor<CMap, i> to set the i-attribute of a given
* i-cell.
*
* Test_is_valid_attribute_functor<CMap> to test if an attribute is valid
* (used with Foreach_enabled_attributes)
*
* Is_attribute_has_non_void_info<Attr> to test if the attribute
* Attr is non Void and has an non void Info as inner type
*
* Is_attribute_has_point<Attr> to test if the attribute
* Attr is non Void and has a Point inner type
*
*/
namespace CGAL
{
/** @file Combinatorial_map_functors.h
* Definition of functors used for dD Combinatorial map.
*/
// ****************************************************************************
/// Functor used to reserve one mark, used with Foreach_enabled_attributes
/// to reserve a mark for each enabled attribute.
template<typename CMap>
struct Reserve_mark_functor
{
typedef typename CMap::size_type size_type;
template <unsigned int i>
static void run(const CMap& amap, std::vector<size_type>& marks)
{ marks[i] = amap.get_new_mark(); }
};
// ****************************************************************************
/// Functor used to display the address of the i-cell attribute. Can be used
/// with Foreach_enabled_attributes.
template<typename CMap>
struct Display_attribute_functor
{
template <unsigned int i>
static void run(const CMap& amap,
typename CMap::Dart_const_descriptor adart)
{
if (amap.template attribute<i>(adart)==amap.null_descriptor)
std::cout<<"null_descriptor";
else
amap.template display_attribute<i>(amap.template attribute<i>(adart));
}
};
// ****************************************************************************
/// Functor used to test if a cell is valid
template<typename CMap>
struct Test_is_valid_attribute_functor
{
template <unsigned int i>
static bool run(const CMap& amap,
typename CMap::Dart_const_descriptor adart)
{
typedef typename CMap::size_type size_type;
size_type mark=amap.get_new_mark();
bool res = true;
CGAL::internal::Test_is_valid_attribute_functor<CMap>::
template run<i>(amap, adart, mark, &res);
amap.negate_mark(mark);
if ( !amap.is_whole_map_marked(mark) )
{
for ( CGAL::CMap_dart_const_iterator_basic_of_cell<CMap,i>
it(*amap, adart, mark); it.cont(); ++it )
amap.unmark(it, mark);
}
CGAL_assertion ( amap.is_whole_map_marked(mark) );
amap.free_mark(mark);
return res;
}
};
// ****************************************************************************
/// Functor used to set the i-attribute of a given i-cell.
template<typename CMap, unsigned int i,
typename T=typename CMap::template Attribute_type<i>::type>
struct Set_i_attribute_functor
{
static void run( CMap& amap, typename CMap::Dart_descriptor dh,
typename CMap::template Attribute_descriptor<i>::type ah )
{
amap.template set_attribute<i>(dh, ah);
}
};
/// Specialization for void attributes.
template<typename CMap, unsigned int i>
struct Set_i_attribute_functor<CMap,i,CGAL::Void>
{
static void run( CMap&, typename CMap::Dart_descriptor,
typename CMap::template Attribute_descriptor<i>::type)
{}
};
// ****************************************************************************
BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF(Has_point,Point,false)
template<typename Attr, typename Info=typename Attr::Info>
struct Is_nonvoid_attribute_has_non_void_info
{
static const bool value=true;
};
template<typename Attr>
struct Is_nonvoid_attribute_has_non_void_info<Attr, void>
{
static const bool value=false;
};
template<typename Attr>
struct Is_attribute_has_non_void_info
{
static const bool value=Is_nonvoid_attribute_has_non_void_info<Attr>::value;
};
template<>
struct Is_attribute_has_non_void_info<CGAL::Void>
{
static const bool value=false;
};
// ****************************************************************************
template<typename Attr>
struct Is_attribute_has_point
{ static const bool value=Has_point<Attr>::value; };
// ****************************************************************************
} // namespace CGAL
#endif // CGAL_COMBINATORIAL_MAP_FUNCTORS_H //
// EOF //
|
