functor.h 5.37 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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
#include "Topology/generic/marker.h"
#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>
48
class FunctorMap : public virtual FunctorType
Pierre Kraemer's avatar
Pierre Kraemer committed
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
{
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 ;
};

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

class SelectorFalse : public FunctorSelect
{
public:
Pierre Kraemer's avatar
Pierre Kraemer committed
75
	bool operator()(Dart) const { return false; }
Pierre Kraemer's avatar
Pierre Kraemer committed
76
77
78
79
80
};

// Counting Functors : increment its value every time it is applied
/********************************************************/

Pierre Kraemer's avatar
Pierre Kraemer committed
81
class FunctorCount : public virtual FunctorType
Pierre Kraemer's avatar
Pierre Kraemer committed
82
83
84
85
86
{
private:
	unsigned m_count;
public:
	FunctorCount(): m_count(0) {}
Pierre Kraemer's avatar
Pierre Kraemer committed
87
88
	bool operator()(Dart)
	{
Pierre Kraemer's avatar
Pierre Kraemer committed
89
90
91
		m_count++;
		return false;
	}
Pierre Kraemer's avatar
Pierre Kraemer committed
92
93
94
	unsigned getNb() const { return m_count; }
	void init() { m_count = 0; }
	void increment() { ++m_count; }
Pierre Kraemer's avatar
Pierre Kraemer committed
95
96
97
98
99
100
};

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

template <typename MAP>
Pierre Kraemer's avatar
Pierre Kraemer committed
101
class FunctorSetEmb : public FunctorMap<MAP>
Pierre Kraemer's avatar
Pierre Kraemer committed
102
103
104
105
106
{
protected:
	unsigned int orbit;
	unsigned int emb;
public:
Pierre Kraemer's avatar
Pierre Kraemer committed
107
108
	FunctorSetEmb(MAP& map, unsigned int orb, unsigned int e) : FunctorMap<MAP>(map), orbit(orb), emb(e)
	{}
Pierre Kraemer's avatar
Pierre Kraemer committed
109
110
111
112
113
114
115
	bool operator()(Dart d)
	{
		this->m_map.setDartEmbedding(orbit, d, emb);
		return false;
	}
};

116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
// Functor Check Embedding : to check the embeddings of the given map

template <typename MAP>
class FunctorCheckEmbedding : public FunctorMap<MAP>
{
protected:
	unsigned int orbit;
	unsigned int emb;
public:
	FunctorCheckEmbedding(MAP& map, unsigned int orb, unsigned int e) : FunctorMap<MAP>(map), orbit(orb), emb(e)
	{}

	bool operator()(Dart d)
	{
		return (this->m_map.getEmbedding(orbit, d) != emb);
	}
};


Pierre Kraemer's avatar
Pierre Kraemer committed
135
136
137
138
// Search Functor: look for a given dart when applied
/********************************************************/

template <typename MAP>
Pierre Kraemer's avatar
Pierre Kraemer committed
139
class FunctorSearch : public FunctorType
Pierre Kraemer's avatar
Pierre Kraemer committed
140
141
142
143
144
{
protected:
	bool m_found;
	Dart dart;
public:
Pierre Kraemer's avatar
Pierre Kraemer committed
145
146
147
	FunctorSearch(Dart d) : m_found(false), dart(d) {}
	void setDart(Dart d)
	{
Pierre Kraemer's avatar
Pierre Kraemer committed
148
149
150
		dart = d;
		m_found = false;
	}
Pierre Kraemer's avatar
Pierre Kraemer committed
151
152
153
154
	bool operator()(Dart d)
	{
		if (d == dart)
		{
Pierre Kraemer's avatar
Pierre Kraemer committed
155
156
157
158
159
			m_found = true;
			return true;
		}
		return false;
	}
Pierre Kraemer's avatar
Pierre Kraemer committed
160
	bool found() { return m_found; }
Pierre Kraemer's avatar
Pierre Kraemer committed
161
162
};

Pierre Kraemer's avatar
Pierre Kraemer committed
163
// Functor Store: to store the traversed darts in a given vector
Pierre Kraemer's avatar
Pierre Kraemer committed
164
165
/********************************************************/

Pierre Kraemer's avatar
Pierre Kraemer committed
166
class FunctorStore : public FunctorType
Pierre Kraemer's avatar
Pierre Kraemer committed
167
168
{
protected:
Pierre Kraemer's avatar
Pierre Kraemer committed
169
	std::vector<Dart>& m_vec;
Pierre Kraemer's avatar
Pierre Kraemer committed
170
public:
Pierre Kraemer's avatar
Pierre Kraemer committed
171
	FunctorStore(std::vector<Dart>& vec) : m_vec(vec) {}
Pierre Kraemer's avatar
Pierre Kraemer committed
172
173
	bool operator()(Dart d)
	{
Pierre Kraemer's avatar
Pierre Kraemer committed
174
175
		m_vec.push_back(d);
		return false;
Pierre Kraemer's avatar
Pierre Kraemer committed
176
177
178
	}
};

179

Pierre Kraemer's avatar
Pierre Kraemer committed
180
// Multiple Functor: to apply several Functors in turn to a dart
Pierre Kraemer's avatar
Pierre Kraemer committed
181
182
/********************************************************/

Pierre Kraemer's avatar
Pierre Kraemer committed
183
class FunctorDoubleFunctor : public FunctorType
Pierre Kraemer's avatar
Pierre Kraemer committed
184
185
{
protected:
Pierre Kraemer's avatar
Pierre Kraemer committed
186
187
	FunctorType& m_fonct1;
	FunctorType& m_fonct2;
Pierre Kraemer's avatar
Pierre Kraemer committed
188
public:
Pierre Kraemer's avatar
Pierre Kraemer committed
189
190
191
192
193
	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
194
195
196
197
198
199
	}
};

} //namespace CGoGN

#endif