area.hpp 6.39 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
 * Contact information: cgogn@unistra.fr                                        *
 *                                                                              *
 *******************************************************************************/

#include "Geometry/basic.h"
#include "Algo/Geometry/centroid.h"
27 28
#include "Topology/generic/traversorCell.h"
#include "Topology/generic/traversor2.h"
Pierre Kraemer's avatar
Pierre Kraemer committed
29 30 31 32 33 34 35 36 37 38 39 40 41

namespace CGoGN
{

namespace Algo
{

namespace Geometry
{

template <typename PFP>
typename PFP::REAL triangleArea(typename PFP::MAP& map, Dart d, const typename PFP::TVEC3& position)
{
Pierre Kraemer's avatar
Pierre Kraemer committed
42 43 44
	typename PFP::VEC3 p1 = position[d] ;
	typename PFP::VEC3 p2 = position[map.phi1(d)] ;
	typename PFP::VEC3 p3 = position[map.phi_1(d)] ;
Pierre Kraemer's avatar
Pierre Kraemer committed
45 46 47 48 49 50 51

	return Geom::triangleArea(p1, p2, p3) ;
}

template <typename PFP>
typename PFP::REAL convexFaceArea(typename PFP::MAP& map, Dart d, const typename PFP::TVEC3& position)
{
Pierre Kraemer's avatar
Pierre Kraemer committed
52
	typedef typename PFP::VEC3 VEC3 ;
Pierre Kraemer's avatar
Pierre Kraemer committed
53 54 55 56 57 58 59

	if(map.isFaceTriangle(d))
		return triangleArea<PFP>(map, d, position) ;
	else
	{
		float area = 0.0f ;
		VEC3 centroid = Algo::Geometry::faceCentroid<PFP>(map, d, position) ;
60 61
		Traversor2FE<typename PFP::MAP> t(map, d) ;
		for(Dart it = t.begin(); it != t.end(); it = t.next())
Pierre Kraemer's avatar
Pierre Kraemer committed
62
		{
Pierre Kraemer's avatar
Pierre Kraemer committed
63 64
			VEC3 p1 = position[it] ;
			VEC3 p2 = position[map.phi1(it)] ;
Pierre Kraemer's avatar
Pierre Kraemer committed
65
			area += Geom::triangleArea(p1, p2, centroid) ;
66
		}
Pierre Kraemer's avatar
Pierre Kraemer committed
67 68 69 70 71
		return area ;
	}
}

template <typename PFP>
72
typename PFP::REAL totalArea(typename PFP::MAP& map, const typename PFP::TVEC3& position, const FunctorSelect& select, unsigned int thread)
Pierre Kraemer's avatar
Pierre Kraemer committed
73
{
74
	typename PFP::REAL area(0) ;
75 76
	TraversorF<typename PFP::MAP> t(map) ;
	for(Dart d = t.begin(); d != t.end(); d = t.next())
Pierre Kraemer's avatar
Pierre Kraemer committed
77
	{
78
		if(select(d))
Pierre Kraemer's avatar
Pierre Kraemer committed
79 80 81 82 83
			area += convexFaceArea<PFP>(map, d, position) ;
	}
	return area ;
}

84 85 86 87
template <typename PFP>
typename PFP::REAL vertexOneRingArea(typename PFP::MAP& map, Dart d, const typename PFP::TVEC3& position)
{
	typename PFP::REAL area(0) ;
88 89
	Traversor2VF<typename PFP::MAP> t(map, d) ;
	for(Dart it = t.begin(); it != t.end(); it = t.next())
90 91 92 93 94
		area += convexFaceArea<PFP>(map, it, position) ;
	return area ;
}

template <typename PFP>
95
typename PFP::REAL vertexBarycentricArea(typename PFP::MAP& map, Dart d, const typename PFP::TVEC3& position)
96 97 98 99 100
{
	typename PFP::REAL area(0) ;
	Dart it = d ;
	do
	{
101
		area += convexFaceArea<PFP>(map, it, position) / 3 ;
102 103 104 105 106
		it = map.alpha1(it) ;
	} while(it != d) ;
	return area ;
}

107 108 109 110 111 112 113
template <typename PFP>
typename PFP::REAL vertexVoronoiArea(typename PFP::MAP& map, Dart d, const typename PFP::TVEC3& position)
{
	typename PFP::REAL area(0) ;
	Dart it = d ;
	do
	{
114 115 116 117
		const typename PFP::VEC3& p1 = position[it] ;
		const typename PFP::VEC3& p2 = position[map.phi1(it)] ;
		const typename PFP::VEC3& p3 = position[map.phi_1(it)] ;
		if(!Geom::isTriangleObtuse(p1, p2, p3))
118
		{
119 120 121
			typename PFP::REAL a = Geom::angle(p3 - p2, p1 - p2) ;
			typename PFP::REAL b = Geom::angle(p1 - p3, p2 - p3) ;
			area += ( (p2 - p1).norm2() / tan(b) + (p3 - p1).norm2() / tan(a) ) / 8 ;
122 123 124
		}
		else
		{
125 126
			typename PFP::REAL tArea = Geom::triangleArea(p1, p2, p3) ;
			if(Geom::angle(p2 - p1, p3 - p1) > M_PI / 2)
127 128 129 130 131 132 133 134 135
				area += tArea / 2 ;
			else
				area += tArea / 4 ;
		}
		it = map.alpha1(it) ;
	} while(it != d) ;
	return area ;
}

Pierre Kraemer's avatar
Pierre Kraemer committed
136 137 138
template <typename PFP>
void computeAreaFaces(typename PFP::MAP& map, const typename PFP::TVEC3& position, typename PFP::TREAL& face_area, const FunctorSelect& select)
{
139
	CellMarker marker(map, FACE);
Pierre Kraemer's avatar
Pierre Kraemer committed
140 141 142 143 144 145 146 147 148 149
	for(Dart d = map.begin(); d != map.end(); map.next(d))
	{
		if(select(d) && !marker.isMarked(d))
		{
			marker.mark(d);
			face_area[d] = convexFaceArea<PFP>(map, d, position) ;
		}
	}
}

150 151 152 153 154 155 156 157 158 159 160 161 162 163
template <typename PFP>
void computeOneRingAreaVertices(typename PFP::MAP& map, const typename PFP::TVEC3& position, typename PFP::TREAL& vertex_area, const FunctorSelect& select)
{
	CellMarker marker(map, VERTEX);
	for(Dart d = map.begin(); d != map.end(); map.next(d))
	{
		if(select(d) && !marker.isMarked(d))
		{
			marker.mark(d);
			vertex_area[d] = vertexOneRingArea<PFP>(map, d, position) ;
		}
	}
}

164 165 166 167 168 169 170 171 172 173 174 175 176 177
template <typename PFP>
void computeBarycentricAreaVertices(typename PFP::MAP& map, const typename PFP::TVEC3& position, typename PFP::TREAL& vertex_area, const FunctorSelect& select)
{
	CellMarker marker(map, VERTEX);
	for(Dart d = map.begin(); d != map.end(); map.next(d))
	{
		if(select(d) && !marker.isMarked(d))
		{
			marker.mark(d);
			vertex_area[d] = vertexBarycentricArea<PFP>(map, d, position) ;
		}
	}
}

178 179 180 181 182 183 184 185 186 187 188 189 190 191
template <typename PFP>
void computeVoronoiAreaVertices(typename PFP::MAP& map, const typename PFP::TVEC3& position, typename PFP::TREAL& vertex_area, const FunctorSelect& select)
{
	CellMarker marker(map, VERTEX);
	for(Dart d = map.begin(); d != map.end(); map.next(d))
	{
		if(select(d) && !marker.isMarked(d))
		{
			marker.mark(d);
			vertex_area[d] = vertexVoronoiArea<PFP>(map, d, position) ;
		}
	}
}

Pierre Kraemer's avatar
Pierre Kraemer committed
192 193 194 195 196
} // namespace Geometry

} // namespace Algo

} // namespace CGoGN