diff options
Diffstat (limited to 'include/gudhi_patches/CGAL/NewKernel_d/Filtered_predicate2.h')
| -rw-r--r-- | include/gudhi_patches/CGAL/NewKernel_d/Filtered_predicate2.h | 137 |
1 files changed, 0 insertions, 137 deletions
diff --git a/include/gudhi_patches/CGAL/NewKernel_d/Filtered_predicate2.h b/include/gudhi_patches/CGAL/NewKernel_d/Filtered_predicate2.h deleted file mode 100644 index 1a6a67bc..00000000 --- a/include/gudhi_patches/CGAL/NewKernel_d/Filtered_predicate2.h +++ /dev/null @@ -1,137 +0,0 @@ -// Copyright (c) 2001-2005 INRIA Sophia-Antipolis (France). -// All rights reserved. -// -// This file is part of CGAL (www.cgal.org); 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 3 of the License, -// or (at your option) any later version. -// -// 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) : Sylvain Pion - -#ifndef CGAL_FILTERED_PREDICATE2_H -#define CGAL_FILTERED_PREDICATE2_H - -#include <string> -#include <CGAL/config.h> -#include <CGAL/Interval_nt.h> -#include <CGAL/Uncertain.h> -#include <CGAL/Profile_counter.h> -#include <CGAL/NewKernel_d/store_kernel.h> -#include <boost/preprocessor.hpp> - -namespace CGAL { - -// This template class is a wrapper that implements the filtering for any -// predicate (dynamic filters with IA). - -// TODO : -// - each predicate in the default kernel should define a tag that says if it -// wants to be filtered or not (=> all homogeneous predicate define this -// tag). We could even test-suite that automatically. It makes a strong -// new requirement on the kernel though... -// Could be done with a traits mechanism ? -// A default template could use the current IA, but other tags or whatever -// could specify no filtering at all, or static filtering... -// - same thing for constructions => virtual operator() ? -// - similarly, constructions should have a tag saying if they can throw or -// not, or we let all this up to the compiler optimizer to figure out ? -// - Some caching could be done at the Point_2 level. - - -template <class EP, class AP, class C2E, class C2A, bool Protection = true> -class Filtered_predicate2 -{ -//TODO: pack (at least use a tuple) -//FIXME: is it better to store those, or just store enough to recreate them -//(i.e. possibly references to the kernels)? - EP ep; - AP ap; - C2E c2e; - C2A c2a; - - typedef typename AP::result_type Ares; - -public: - - typedef AP Approximate_predicate; - typedef EP Exact_predicate; - typedef C2E To_exact_converter; - typedef C2A To_approximate_converter; - - // FIXME: should use result_of, see emails by Nico - typedef typename EP::result_type result_type; - // AP::result_type must be convertible to EP::result_type. - - Filtered_predicate2() - {} - - template <class K> - Filtered_predicate2(const K& k) - : ep(k.exact_kernel()), ap(k.approximate_kernel()), c2e(k,k.exact_kernel()), c2a(k,k.approximate_kernel()) - {} - -#ifdef CGAL_CXX11 - template <typename... Args> - result_type - operator()(Args&&... args) const - { - CGAL_BRANCH_PROFILER(std::string(" failures/calls to : ") + std::string(CGAL_PRETTY_FUNCTION), tmp); - // Protection is outside the try block as VC8 has the CGAL_CFG_FPU_ROUNDING_MODE_UNWINDING_VC_BUG - { - Protect_FPU_rounding<Protection> p; - try - { - // No forward here, the arguments may still be needed - Ares res = ap(c2a(args)...); - if (is_certain(res)) - return get_certain(res); - } - catch (Uncertain_conversion_exception) {} - } - CGAL_BRANCH_PROFILER_BRANCH(tmp); - Protect_FPU_rounding<!Protection> p(CGAL_FE_TONEAREST); - return ep(c2e(std::forward<Args>(args))...); - } -#else - -#define CGAL_VAR(Z,N,C) C(a##N) -#define CGAL_CODE(Z,N,_) \ - template <BOOST_PP_ENUM_PARAMS(N,class A)> \ - result_type \ - operator()(BOOST_PP_ENUM_BINARY_PARAMS(N, A, const& a)) const \ - { \ - CGAL_BRANCH_PROFILER(std::string(" failures/calls to : ") + std::string(CGAL_PRETTY_FUNCTION), tmp); \ - { \ - Protect_FPU_rounding<Protection> p; \ - try \ - { \ - Ares res = ap(BOOST_PP_ENUM(N,CGAL_VAR,c2a)); \ - if (is_certain(res)) \ - return get_certain(res); \ - } \ - catch (Uncertain_conversion_exception) {} \ - } \ - CGAL_BRANCH_PROFILER_BRANCH(tmp); \ - Protect_FPU_rounding<!Protection> p(CGAL_FE_TONEAREST); \ - return ep(BOOST_PP_ENUM(N,CGAL_VAR,c2e)); \ - } - BOOST_PP_REPEAT_FROM_TO(1, 10, CGAL_CODE, _ ) -#undef CGAL_CODE -#undef CGAL_VAR - -#endif -}; - -} //namespace CGAL - -#endif // CGAL_FILTERED_PREDICATE2_H |