Création d'un compte pour un collaborateur extérieur au laboratoire depuis l'intranet ICube : https://intranet.icube.unistra.fr/fr/labs/member/profile

functor.h 9.36 KB
Newer Older
Pierre Kraemer's avatar
Pierre Kraemer committed
1
2
3
/*******************************************************************************
* CGoGN: Combinatorial and Geometric modeling with Generic N-dimensional Maps  *
* version 0.1                                                                  *
4
* Copyright (C) 2009-2011, IGG Team, LSIIT, University of Strasbourg           *
Pierre Kraemer's avatar
Pierre Kraemer committed
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
*                                                                              *
* This library is free software; 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 2.1 of the License, or (at your     *
* option) any later version.                                                   *
*                                                                              *
* This library is distributed in the hope that it will be useful, but WITHOUT  *
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or        *
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License  *
* for more details.                                                            *
*                                                                              *
* You should have received a copy of the GNU Lesser General Public License     *
* along with this library; if not, write to the Free Software Foundation,      *
* Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301 USA.           *
*                                                                              *
20
* Web site: http://cgogn.u-strasbg.fr/                                         *
Pierre Kraemer's avatar
Pierre Kraemer committed
21
22
23
24
25
26
27
* Contact information: cgogn@unistra.fr                                        *
*                                                                              *
*******************************************************************************/

#ifndef __FUNCTOR_H__
#define __FUNCTOR_H__

28
#include "Topology/generic/dart.h"
Pierre Kraemer's avatar
Pierre Kraemer committed
29
#include "Topology/generic/marker.h"
30

31
#include "Container/attributeMultiVector.h"
Pierre Kraemer's avatar
Pierre Kraemer committed
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
#include <vector>

namespace CGoGN
{

// Base Class for Functors: object function that is applied to darts
/********************************************************/
class FunctorType
{
public:
	FunctorType() {}
	virtual ~FunctorType() {}
	virtual bool operator()(Dart d) = 0;
};

// Base Class for Functors that need access to the map
/********************************************************/
template <typename MAP>
50
class FunctorMap : public virtual FunctorType
Pierre Kraemer's avatar
Pierre Kraemer committed
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
{
protected:
	MAP& m_map ;
public:
	FunctorMap(MAP& m): m_map(m) {}
};

// Selector functors : return true to select or false to not select a dart
/********************************************************/
class FunctorSelect
{
public:
	FunctorSelect() {}
	virtual ~FunctorSelect() {}
	virtual bool operator()(Dart d) const = 0 ;
66
	virtual FunctorSelect* copy() const = 0;
Pierre Kraemer's avatar
Pierre Kraemer committed
67
68
69
70
71
};

class SelectorTrue : public FunctorSelect
{
public:
Pierre Kraemer's avatar
Pierre Kraemer committed
72
	bool operator()(Dart) const { return true; }
73
74
	FunctorSelect* copy() const { return new SelectorTrue();}

Pierre Kraemer's avatar
Pierre Kraemer committed
75
76
77
78
79
};

class SelectorFalse : public FunctorSelect
{
public:
Pierre Kraemer's avatar
Pierre Kraemer committed
80
	bool operator()(Dart) const { return false; }
81
	FunctorSelect* copy() const { return new SelectorFalse();}
Pierre Kraemer's avatar
Pierre Kraemer committed
82
83
};

Pierre Kraemer's avatar
Pierre Kraemer committed
84
const SelectorTrue allDarts = SelectorTrue() ;
Sylvain Thery's avatar
Sylvain Thery committed
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

class SelectorAnd : public FunctorSelect
{
protected:
	const FunctorSelect* m_sel1;
	const FunctorSelect* m_sel2;

public:
	SelectorAnd(const FunctorSelect& fs1, const FunctorSelect& fs2) { m_sel1 = fs1.copy(); m_sel2 = fs2.copy();}
	bool operator()(Dart d) const { return m_sel1->operator()(d) && m_sel2->operator()(d); }
	~SelectorAnd() { delete m_sel1; delete m_sel2;}
	FunctorSelect* copy() const  {  return new SelectorAnd(*m_sel1,*m_sel2);}
};

class SelectorOr : public FunctorSelect
{
protected:
	const FunctorSelect* m_sel1;
	const FunctorSelect* m_sel2;

public:
	SelectorOr(const FunctorSelect& fs1, const FunctorSelect& fs2) { m_sel1 = fs1.copy(); m_sel2 = fs2.copy();}
	bool operator()(Dart d) const { return m_sel1->operator()(d) || m_sel2->operator()(d); }
	~SelectorOr() { delete m_sel1; delete m_sel2;}
	FunctorSelect* copy() const  { return new SelectorOr(*m_sel1,*m_sel2);}
};

inline SelectorAnd operator&&(const FunctorSelect& fs1, const FunctorSelect& fs2)
{
	return SelectorAnd(fs1,fs2);
}

inline SelectorOr operator||(const FunctorSelect& fs1, const FunctorSelect& fs2)
{
	return SelectorOr(fs1,fs2);
}

123

Sylvain Thery's avatar
Sylvain Thery committed
124
template <typename MAP>
125
class SelectorEdgeBoundary : public FunctorSelect
Sylvain Thery's avatar
Sylvain Thery committed
126
127
128
129
130
{
public:
protected:
	MAP& m_map;
public:
131
132
	SelectorEdgeBoundary(MAP& m): m_map(m) {}
	bool operator()(Dart d) const { return m_map.isBoundaryEdge(d); }
133
	FunctorSelect* copy() const { return new SelectorEdgeBoundary(m_map);}
Sylvain Thery's avatar
Sylvain Thery committed
134
135
};

136
137
138
139
140
141
142
143
144
145

template <typename MAP>
class SelectorEdgeNoBoundary : public FunctorSelect
{
public:
protected:
	MAP& m_map;
public:
	SelectorEdgeNoBoundary(MAP& m): m_map(m) {}
	bool operator()(Dart d) const { return !m_map.isBoundaryEdge(d); }
146
	FunctorSelect* copy() const { return new SelectorEdgeNoBoundary(m_map);}
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
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
//
//class SelectorDartMarked : public FunctorSelect
//{
//public:
//protected:
//	const DartMarker& m_dm;
//public:
//	SelectorDartMarked(const DartMarker& dm): m_dm(dm)  {}
//	bool operator()(Dart d) const { return m_dm.isMarked(d); }
//};
//
//
//class SelectorCellMarked : public FunctorSelect
//{
//public:
//protected:
//	const CellMarker& m_cm;
//public:
//	SelectorCellMarked(const CellMarker& cm): m_cm(cm)  {}
//	bool operator()(Dart d) const { return m_cm.isMarked(d); }
//};
//
//class SelectorDartNotMarked : public FunctorSelect
//{
//public:
//protected:
//	const DartMarker& m_dm;
//public:
//	SelectorDartNotMarked(const DartMarker& dm): m_dm(dm)  {}
//	bool operator()(Dart d) const { return !m_dm.isMarked(d); }
//};
//
//
//template <typename MAP>
//class SelectorCellNotMarked : public FunctorSelect
//{
//public:
//protected:
//	const CellMarker& m_cm;
//public:
//	SelectorCellNotMarked(const CellMarker& cm): m_cm(cm)  {}
//	bool operator()(Dart d) const { return !m_cm.isMarked(d); }
//};

193

Pierre Kraemer's avatar
Pierre Kraemer committed
194
195
196
// Counting Functors : increment its value every time it is applied
/********************************************************/

Pierre Kraemer's avatar
Pierre Kraemer committed
197
class FunctorCount : public virtual FunctorType
Pierre Kraemer's avatar
Pierre Kraemer committed
198
199
200
201
202
{
private:
	unsigned m_count;
public:
	FunctorCount(): m_count(0) {}
Pierre Kraemer's avatar
Pierre Kraemer committed
203
204
	bool operator()(Dart)
	{
Pierre Kraemer's avatar
Pierre Kraemer committed
205
206
207
		m_count++;
		return false;
	}
Pierre Kraemer's avatar
Pierre Kraemer committed
208
209
210
	unsigned getNb() const { return m_count; }
	void init() { m_count = 0; }
	void increment() { ++m_count; }
Pierre Kraemer's avatar
Pierre Kraemer committed
211
212
213
214
215
216
};

// Embedding Functors
/********************************************************/

template <typename MAP>
Pierre Kraemer's avatar
Pierre Kraemer committed
217
class FunctorSetEmb : public FunctorMap<MAP>
Pierre Kraemer's avatar
Pierre Kraemer committed
218
219
220
221
222
{
protected:
	unsigned int orbit;
	unsigned int emb;
public:
Pierre Kraemer's avatar
Pierre Kraemer committed
223
224
	FunctorSetEmb(MAP& map, unsigned int orb, unsigned int e) : FunctorMap<MAP>(map), orbit(orb), emb(e)
	{}
Pierre Kraemer's avatar
Pierre Kraemer committed
225
226
227
228
229
230
231
232
233
234
235
	bool operator()(Dart d)
	{
		this->m_map.setDartEmbedding(orbit, d, emb);
		return false;
	}
};

// Search Functor: look for a given dart when applied
/********************************************************/

template <typename MAP>
Pierre Kraemer's avatar
Pierre Kraemer committed
236
class FunctorSearch : public FunctorType
Pierre Kraemer's avatar
Pierre Kraemer committed
237
238
239
240
241
{
protected:
	bool m_found;
	Dart dart;
public:
Pierre Kraemer's avatar
Pierre Kraemer committed
242
243
244
	FunctorSearch(Dart d) : m_found(false), dart(d) {}
	void setDart(Dart d)
	{
Pierre Kraemer's avatar
Pierre Kraemer committed
245
246
247
		dart = d;
		m_found = false;
	}
Pierre Kraemer's avatar
Pierre Kraemer committed
248
249
250
251
	bool operator()(Dart d)
	{
		if (d == dart)
		{
Pierre Kraemer's avatar
Pierre Kraemer committed
252
253
254
255
256
			m_found = true;
			return true;
		}
		return false;
	}
Pierre Kraemer's avatar
Pierre Kraemer committed
257
	bool found() { return m_found; }
Pierre Kraemer's avatar
Pierre Kraemer committed
258
259
};

Pierre Kraemer's avatar
Pierre Kraemer committed
260
// Functor Store: to store the traversed darts in a given vector
Pierre Kraemer's avatar
Pierre Kraemer committed
261
262
/********************************************************/

Pierre Kraemer's avatar
Pierre Kraemer committed
263
class FunctorStore : public FunctorType
Pierre Kraemer's avatar
Pierre Kraemer committed
264
265
{
protected:
Pierre Kraemer's avatar
Pierre Kraemer committed
266
	std::vector<Dart>& m_vec;
Pierre Kraemer's avatar
Pierre Kraemer committed
267
public:
Pierre Kraemer's avatar
Pierre Kraemer committed
268
	FunctorStore(std::vector<Dart>& vec) : m_vec(vec) {}
Pierre Kraemer's avatar
Pierre Kraemer committed
269
270
	bool operator()(Dart d)
	{
Pierre Kraemer's avatar
Pierre Kraemer committed
271
272
		m_vec.push_back(d);
		return false;
Pierre Kraemer's avatar
Pierre Kraemer committed
273
274
275
	}
};

Pierre Kraemer's avatar
Pierre Kraemer committed
276
// Multiple Functor: to apply several Functors in turn to a dart
Pierre Kraemer's avatar
Pierre Kraemer committed
277
278
/********************************************************/

Pierre Kraemer's avatar
Pierre Kraemer committed
279
class FunctorDoubleFunctor : public FunctorType
Pierre Kraemer's avatar
Pierre Kraemer committed
280
281
{
protected:
Pierre Kraemer's avatar
Pierre Kraemer committed
282
283
	FunctorType& m_fonct1;
	FunctorType& m_fonct2;
Pierre Kraemer's avatar
Pierre Kraemer committed
284
public:
Pierre Kraemer's avatar
Pierre Kraemer committed
285
286
287
288
289
	FunctorDoubleFunctor(FunctorType& f1, FunctorType& f2) : m_fonct1(f1), m_fonct2(f2) {}
	bool operator()(Dart d)
	{
		if (m_fonct1(d)) return true;
		return m_fonct2(d);
Pierre Kraemer's avatar
Pierre Kraemer committed
290
291
292
	}
};

293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353

// Marker Functors
/********************************************************/

template <typename MAP>
class FunctorMarker : public FunctorMap<MAP>
{
protected:
	Mark m_mark ;
	AttributeMultiVector<Mark>* m_markTable ;
public:
	FunctorMarker(MAP& map, Mark m, AttributeMultiVector<Mark>* mTable) : FunctorMap<MAP>(map), m_mark(m), m_markTable(mTable)
	{}
//	Mark getMark() { return m_mark ; }
} ;

template <typename MAP>
class FunctorMark : public FunctorMarker<MAP>
{
public:
	FunctorMark(MAP& map, Mark m, AttributeMultiVector<Mark>* mTable) : FunctorMarker<MAP>(map, m, mTable)
	{}
	bool operator()(Dart d)
	{
		this->m_markTable->operator[](d.index).setMark(this->m_mark) ;
		return false ;
	}
} ;

template <typename MAP>
class FunctorMarkStore : public FunctorMarker<MAP>
{
protected:
	std::vector<unsigned int>& m_markedDarts ;
public:
	FunctorMarkStore(MAP& map, Mark m, AttributeMultiVector<Mark>* mTable, std::vector<unsigned int>& marked) :
		FunctorMarker<MAP>(map, m, mTable),
		m_markedDarts(marked)
	{}
	bool operator()(Dart d)
	{
		this->m_markTable->operator[](d.index).setMark(this->m_mark) ;
		m_markedDarts.push_back(d.index) ;
		return false ;
	}
} ;

template <typename MAP>
class FunctorUnmark : public FunctorMarker<MAP>
{
public:
	FunctorUnmark(MAP& map, Mark m, AttributeMultiVector<Mark>* mTable) : FunctorMarker<MAP>(map, m, mTable)
	{}
	bool operator()(Dart d)
	{
		this->m_markTable->operator[](d.index).unsetMark(this->m_mark) ;
		return false ;
	}
} ;


Pierre Kraemer's avatar
Pierre Kraemer committed
354
355
356
} //namespace CGoGN

#endif