mirror of https://github.com/CGAL/cgal
279 lines
7.9 KiB
C++
279 lines
7.9 KiB
C++
// Copyright (c) 2005-2007 INRIA Sophia-Antipolis (France).
|
|
// All rights reserved.
|
|
//
|
|
// This file is part of CGAL (www.cgal.org); you may redistribute it under
|
|
// the terms of the Q Public License version 1.0.
|
|
// See the file LICENSE.QPL distributed with CGAL.
|
|
//
|
|
// Licensees holding a valid commercial license may use this file in
|
|
// accordance with the commercial license agreement provided with the software.
|
|
//
|
|
// This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
|
|
// WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
|
|
//
|
|
// $URL$
|
|
// $Id$
|
|
//
|
|
//
|
|
// Author(s) : Mariette Yvinec <Mariette.Yvinec@sophia.inria.fr>
|
|
// Laurent Rineau <Laurent.Rineau@sophia.inria.fr>
|
|
|
|
// This traits override Construct_circumcenter_3
|
|
// to get a robust ones when called on slivers
|
|
|
|
#ifndef CGAL_ROBUST_CIRCUMCENTER_TRAITS_3_H
|
|
#define CGAL_ROBUST_CIRCUMCENTER_TRAITS_3_H
|
|
|
|
#include <CGAL/number_utils_classes.h>
|
|
#include <CGAL/Cartesian_converter.h>
|
|
#include <CGAL/Exact_predicates_exact_constructions_kernel.h>
|
|
#include <CGAL/Regular_triangulation_euclidean_traits_3.h>
|
|
|
|
CGAL_BEGIN_NAMESPACE
|
|
|
|
|
|
template < class K >
|
|
class Robust_construct_circumcenter_3
|
|
{
|
|
typedef Exact_predicates_exact_constructions_kernel EK;
|
|
typedef typename K::Point_3 Point_3;
|
|
typedef typename K::Triangle_3 Triangle_3;
|
|
typedef typename K::Tetrahedron_3 Tetrahedron_3;
|
|
typedef typename K::Construct_vertex_3 Construct_vertex_3;
|
|
|
|
typedef Cartesian_converter<K,EK> To_exact;
|
|
typedef Cartesian_converter<EK,
|
|
K,
|
|
To_double<EK::FT> > Back_from_exact;
|
|
|
|
|
|
|
|
public:
|
|
typedef Point_3 result_type;
|
|
typedef Arity_tag< 4 > Arity;
|
|
|
|
Point_3 operator() (const Point_3 & p,
|
|
const Point_3 & q,
|
|
const Point_3 & r,
|
|
const Point_3 & s) const
|
|
{
|
|
To_exact to_exact;
|
|
Back_from_exact back_from_exact;
|
|
//Cartesian_converter<EK,K > back_from_exact;
|
|
EK::Construct_circumcenter_3
|
|
exact_circumcenter = EK().construct_circumcenter_3_object();
|
|
|
|
return back_from_exact(exact_circumcenter( to_exact(p),
|
|
to_exact(q),
|
|
to_exact(r),
|
|
to_exact(s)));
|
|
|
|
}
|
|
|
|
Point_3 operator() (const Point_3 & p,
|
|
const Point_3 & q,
|
|
const Point_3 & r) const
|
|
{
|
|
To_exact to_exact;
|
|
Back_from_exact back_from_exact;
|
|
EK::Construct_circumcenter_3
|
|
exact_circumcenter = EK().construct_circumcenter_3_object();
|
|
|
|
return back_from_exact(exact_circumcenter( to_exact(p),
|
|
to_exact(q),
|
|
to_exact(r)));
|
|
}
|
|
|
|
Point_3
|
|
operator()(const Triangle_3& t) const
|
|
{
|
|
Construct_vertex_3 vertex = this->construct_vertex_3_object();
|
|
return this->operator()(vertex(t, 0), vertex(t, 1), vertex(t, 2));
|
|
}
|
|
|
|
Point_3
|
|
operator()(const Tetrahedron_3& t) const
|
|
{
|
|
Construct_vertex_3 vertex = this->construct_vertex_3_object();
|
|
return this->operator()(vertex(t, 0), vertex(t, 1),
|
|
vertex(t, 2), vertex(t, 3));
|
|
}
|
|
};
|
|
|
|
template <typename K>
|
|
class Robust_squared_radius_3
|
|
{
|
|
typedef Exact_predicates_exact_constructions_kernel EK;
|
|
typedef typename K::FT FT;
|
|
typedef typename K::Point_3 Point_3;
|
|
typedef typename K::Sphere_3 Sphere_3;
|
|
|
|
typedef Cartesian_converter<K,EK> To_exact;
|
|
typedef Cartesian_converter<EK,
|
|
K,
|
|
To_double<EK::FT> > Back_from_exact;
|
|
public:
|
|
typedef FT result_type;
|
|
typedef Arity_tag< 1 > Arity;
|
|
|
|
result_type
|
|
operator()( const Sphere_3& s) const
|
|
{
|
|
To_exact to_exact;
|
|
Back_from_exact back_from_exact;
|
|
EK::Compute_squared_radius_3
|
|
exact_sq_radius = EK().compute_squared_radius_3_object();
|
|
|
|
return back_from_exact(exact_sq_radius( to_exact(s) ));
|
|
}
|
|
|
|
result_type
|
|
operator()( const Point_3& p, const Point_3& q) const
|
|
{
|
|
To_exact to_exact;
|
|
Back_from_exact back_from_exact;
|
|
EK::Compute_squared_radius_3
|
|
exact_sq_radius = EK().compute_squared_radius_3_object();
|
|
|
|
return back_from_exact(exact_sq_radius( to_exact(p),
|
|
to_exact(q) ));
|
|
}
|
|
|
|
result_type
|
|
operator()( const Point_3& p, const Point_3& q, const Point_3& r) const
|
|
{
|
|
To_exact to_exact;
|
|
Back_from_exact back_from_exact;
|
|
EK::Compute_squared_radius_3
|
|
exact_sq_radius = EK().compute_squared_radius_3_object();
|
|
|
|
return back_from_exact(exact_sq_radius( to_exact(p),
|
|
to_exact(q),
|
|
to_exact(r)));
|
|
}
|
|
|
|
result_type
|
|
operator()( const Point_3& p, const Point_3& q,
|
|
const Point_3& r, const Point_3& s) const
|
|
{
|
|
To_exact to_exact;
|
|
Back_from_exact back_from_exact;
|
|
EK::Compute_squared_radius_3
|
|
exact_sq_radius = EK().compute_squared_radius_3_object();
|
|
|
|
return back_from_exact(exact_sq_radius( to_exact(p),
|
|
to_exact(q),
|
|
to_exact(r),
|
|
to_exact(s)));
|
|
}
|
|
};
|
|
|
|
template < typename K >
|
|
class Robust_construct_weighted_circumcenter_3
|
|
{
|
|
public:
|
|
typedef Exact_predicates_exact_constructions_kernel EK2;
|
|
typedef Regular_triangulation_euclidean_traits_3<EK2> EK;
|
|
|
|
typedef typename K::Weighted_point_3 Weighted_point_3;
|
|
typedef typename K::Bare_point Bare_point;
|
|
typedef typename K::FT FT;
|
|
|
|
typedef Arity_tag< 4 > Arity;
|
|
typedef Bare_point result_type;
|
|
|
|
typedef Weighted_converter_3<Cartesian_converter<typename K::Kernel,EK2> >
|
|
To_exact;
|
|
typedef Weighted_converter_3<Cartesian_converter<EK2,
|
|
typename K::Kernel,
|
|
To_double<EK::FT> > >
|
|
Back_from_exact;
|
|
|
|
|
|
Bare_point operator() ( const Weighted_point_3 & p,
|
|
const Weighted_point_3 & q,
|
|
const Weighted_point_3 & r,
|
|
const Weighted_point_3 & s) const
|
|
{
|
|
To_exact to_exact;
|
|
Back_from_exact back_from_exact;
|
|
EK::Construct_weighted_circumcenter_3
|
|
exact_weighted_circumcenter = EK().construct_weighted_circumcenter_3_object();
|
|
|
|
return back_from_exact(exact_weighted_circumcenter(to_exact(p),
|
|
to_exact(q),
|
|
to_exact(r),
|
|
to_exact(s)));
|
|
}
|
|
|
|
Bare_point operator() ( const Weighted_point_3 & p,
|
|
const Weighted_point_3 & q,
|
|
const Weighted_point_3 & r) const
|
|
{
|
|
To_exact to_exact;
|
|
Back_from_exact back_from_exact;
|
|
EK::Construct_weighted_circumcenter_3
|
|
exact_weighted_circumcenter = EK().construct_weighted_circumcenter_3_object();
|
|
|
|
return back_from_exact(exact_weighted_circumcenter(to_exact(p),
|
|
to_exact(q),
|
|
to_exact(r)));
|
|
}
|
|
|
|
Bare_point operator() ( const Weighted_point_3 & p,
|
|
const Weighted_point_3 & q) const
|
|
{
|
|
To_exact to_exact;
|
|
Back_from_exact Back_from_exact;
|
|
EK::Construct_weighted_circumcenter_3
|
|
exact_weighted_circumcenter = EK().construct_weighted_circumcenter_3_object();
|
|
|
|
return back_from_exact(exact_weighted_circumcenter(to_exact(p),
|
|
to_exact(q)));
|
|
}
|
|
};
|
|
|
|
template < class K>
|
|
class Robust_circumcenter_traits_3
|
|
: public K
|
|
{
|
|
public:
|
|
typedef CGAL::Robust_construct_circumcenter_3<K> Construct_circumcenter_3;
|
|
typedef CGAL::Robust_squared_radius_3<K> Compute_squared_radius_3;
|
|
|
|
Construct_circumcenter_3
|
|
construct_circumcenter_3_object() const
|
|
{ return Construct_circumcenter_3(); }
|
|
|
|
Compute_squared_radius_3
|
|
compute_squared_radius_3_object() const
|
|
{ return Compute_squared_radius_3(); }
|
|
};
|
|
|
|
template < class K>
|
|
class Robust_weighted_circumcenter_traits_3
|
|
: public K
|
|
{
|
|
public:
|
|
typedef CGAL::Robust_construct_circumcenter_3<typename K::Kernel> Construct_circumcenter_3;
|
|
typedef CGAL::Robust_squared_radius_3<K> Compute_squared_radius_3;
|
|
|
|
Construct_circumcenter_3
|
|
construct_circumcenter_3_object() const
|
|
{ return Construct_circumcenter_3(); }
|
|
|
|
typedef CGAL::Robust_construct_weighted_circumcenter_3<K> Construct_weighted_circumcenter_3;
|
|
|
|
Construct_weighted_circumcenter_3
|
|
construct_weighted_circumcenter_3_object() const
|
|
{ return Construct_weighted_circumcenter_3(); }
|
|
|
|
Compute_squared_radius_3
|
|
compute_squared_radius_3_object() const
|
|
{ return Compute_squared_radius_3(); }
|
|
};
|
|
|
|
CGAL_END_NAMESPACE
|
|
|
|
#endif //CGAL_ROBUST_CIRCUMCENTER_TRAITS_3_H
|