functor.h 7.16 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
#include "Container/attributeMultiVector.h"
Pierre Kraemer's avatar
Pierre Kraemer committed
31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48
#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>
49
class FunctorMap : public virtual FunctorType
Pierre Kraemer's avatar
Pierre Kraemer committed
50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69
{
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
70
	bool operator()(Dart) const { return true; }
Pierre Kraemer's avatar
Pierre Kraemer committed
71 72 73 74 75
};

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

Sylvain Thery's avatar
Sylvain Thery committed
79

80 81 82 83 84 85 86 87 88 89 90
//template <typename MAP>
//class SelectorNoBoundary : public FunctorSelect
//{
//public:
//protected:
//	MAP& m_map;
//public:
//	SelectorNoBoundary(MAP& m): m_map(m) {}
//	bool operator()(Dart d) const { return !m_map.isBoundaryMarked(d); }
//};

Sylvain Thery's avatar
Sylvain Thery committed
91
template <typename MAP>
92
class SelectorEdgeBoundary : public FunctorSelect
Sylvain Thery's avatar
Sylvain Thery committed
93 94 95 96 97
{
public:
protected:
	MAP& m_map;
public:
98 99
	SelectorEdgeBoundary(MAP& m): m_map(m) {}
	bool operator()(Dart d) const { return m_map.isBoundaryEdge(d); }
Sylvain Thery's avatar
Sylvain Thery committed
100 101
};

102 103 104 105 106 107 108 109 110 111 112 113 114

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); }
};


Pierre Kraemer's avatar
Pierre Kraemer committed
115 116 117
// Counting Functors : increment its value every time it is applied
/********************************************************/

Pierre Kraemer's avatar
Pierre Kraemer committed
118
class FunctorCount : public virtual FunctorType
Pierre Kraemer's avatar
Pierre Kraemer committed
119 120 121 122 123
{
private:
	unsigned m_count;
public:
	FunctorCount(): m_count(0) {}
Pierre Kraemer's avatar
Pierre Kraemer committed
124 125
	bool operator()(Dart)
	{
Pierre Kraemer's avatar
Pierre Kraemer committed
126 127 128
		m_count++;
		return false;
	}
Pierre Kraemer's avatar
Pierre Kraemer committed
129 130 131
	unsigned getNb() const { return m_count; }
	void init() { m_count = 0; }
	void increment() { ++m_count; }
Pierre Kraemer's avatar
Pierre Kraemer committed
132 133 134 135 136 137
};

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

template <typename MAP>
Pierre Kraemer's avatar
Pierre Kraemer committed
138
class FunctorSetEmb : public FunctorMap<MAP>
Pierre Kraemer's avatar
Pierre Kraemer committed
139 140 141 142 143
{
protected:
	unsigned int orbit;
	unsigned int emb;
public:
Pierre Kraemer's avatar
Pierre Kraemer committed
144 145
	FunctorSetEmb(MAP& map, unsigned int orb, unsigned int e) : FunctorMap<MAP>(map), orbit(orb), emb(e)
	{}
Pierre Kraemer's avatar
Pierre Kraemer committed
146 147 148 149 150 151 152 153 154 155 156
	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
157
class FunctorSearch : public FunctorType
Pierre Kraemer's avatar
Pierre Kraemer committed
158 159 160 161 162
{
protected:
	bool m_found;
	Dart dart;
public:
Pierre Kraemer's avatar
Pierre Kraemer committed
163 164 165
	FunctorSearch(Dart d) : m_found(false), dart(d) {}
	void setDart(Dart d)
	{
Pierre Kraemer's avatar
Pierre Kraemer committed
166 167 168
		dart = d;
		m_found = false;
	}
Pierre Kraemer's avatar
Pierre Kraemer committed
169 170 171 172
	bool operator()(Dart d)
	{
		if (d == dart)
		{
Pierre Kraemer's avatar
Pierre Kraemer committed
173 174 175 176 177
			m_found = true;
			return true;
		}
		return false;
	}
Pierre Kraemer's avatar
Pierre Kraemer committed
178
	bool found() { return m_found; }
Pierre Kraemer's avatar
Pierre Kraemer committed
179 180
};

Pierre Kraemer's avatar
Pierre Kraemer committed
181
// Functor Store: to store the traversed darts in a given vector
Pierre Kraemer's avatar
Pierre Kraemer committed
182 183
/********************************************************/

Pierre Kraemer's avatar
Pierre Kraemer committed
184
class FunctorStore : public FunctorType
Pierre Kraemer's avatar
Pierre Kraemer committed
185 186
{
protected:
Pierre Kraemer's avatar
Pierre Kraemer committed
187
	std::vector<Dart>& m_vec;
Pierre Kraemer's avatar
Pierre Kraemer committed
188
public:
Pierre Kraemer's avatar
Pierre Kraemer committed
189
	FunctorStore(std::vector<Dart>& vec) : m_vec(vec) {}
Pierre Kraemer's avatar
Pierre Kraemer committed
190 191
	bool operator()(Dart d)
	{
Pierre Kraemer's avatar
Pierre Kraemer committed
192 193
		m_vec.push_back(d);
		return false;
Pierre Kraemer's avatar
Pierre Kraemer committed
194 195 196
	}
};

Pierre Kraemer's avatar
Pierre Kraemer committed
197
// Multiple Functor: to apply several Functors in turn to a dart
Pierre Kraemer's avatar
Pierre Kraemer committed
198 199
/********************************************************/

Pierre Kraemer's avatar
Pierre Kraemer committed
200
class FunctorDoubleFunctor : public FunctorType
Pierre Kraemer's avatar
Pierre Kraemer committed
201 202
{
protected:
Pierre Kraemer's avatar
Pierre Kraemer committed
203 204
	FunctorType& m_fonct1;
	FunctorType& m_fonct2;
Pierre Kraemer's avatar
Pierre Kraemer committed
205
public:
Pierre Kraemer's avatar
Pierre Kraemer committed
206 207 208 209 210
	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
211 212 213
	}
};

214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274

// 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
275 276 277
} //namespace CGoGN

#endif