// Copyright (c) 2014 // INRIA Saclay-Ile de France (France) // // This file is part of CGAL (www.cgal.org) // // $URL: https://github.com/CGAL/cgal/blob/v5.2/NewKernel_d/include/CGAL/NewKernel_d/Cartesian_change_FT.h $ // $Id: Cartesian_change_FT.h 0779373 2020-03-26T13:31:46+01:00 Sébastien Loriot // SPDX-License-Identifier: LGPL-3.0-or-later OR LicenseRef-Commercial // // Author(s) : Marc Glisse #ifndef CGAL_KERNEL_D_CARTESIAN_CHANGE_FT_H #define CGAL_KERNEL_D_CARTESIAN_CHANGE_FT_H #include #include #include #include namespace CGAL { template < typename Base_, typename FT_, typename LA_=CGAL::LA_eigen > struct Cartesian_change_FT_base : public Base_ { constexpr Cartesian_change_FT_base(){} constexpr Cartesian_change_FT_base(int d):Base_(d){} typedef Cartesian_change_FT_base Self; typedef Base_ Kernel_base; typedef LA_ LA; template struct Type : Inherit_type {}; template struct Type { typedef FT_ type; }; template struct Type { typedef FT_ type; }; typedef NT_converter::type,FT_> FT_converter; typedef transforming_iterator Point_cartesian_const_iterator; typedef transforming_iterator Vector_cartesian_const_iterator; //FIXME: use Iterator_list! /* template::value_tag,FT_tag>::value> struct Iterator : Get_type {}; template struct Iterator { typedef transforming_iterator::type> type; }; */ template struct Construct_cartesian_const_iterator_ { typedef typename Get_functor::type Functor_base; Construct_cartesian_const_iterator_(){} Construct_cartesian_const_iterator_(Self const&r):f(r){} Functor_base f; typedef Type_ result_type; template result_type operator()(T const& v, Begin_tag)const{ return make_transforming_iterator(f(v,Begin_tag()),FT_converter()); } template result_type operator()(T const& v, End_tag)const{ return make_transforming_iterator(f(v,End_tag()),FT_converter()); } }; typedef Construct_cartesian_const_iterator_,Point_cartesian_const_iterator> Construct_point_cartesian_const_iterator; typedef Construct_cartesian_const_iterator_,Vector_cartesian_const_iterator> Construct_vector_cartesian_const_iterator; template struct Compute_cartesian_coordinate { typedef typename Get_functor::type Functor_base; Compute_cartesian_coordinate(){} Compute_cartesian_coordinate(Self const&r):f(r){} Functor_base f; typedef FT_ result_type; template result_type operator()(Obj_ const& v,int i)const{ return FT_converter()(f(v,i)); } }; template::type> struct Functor : Inherit_functor { }; template struct Functor { }; template struct Functor { }; template struct Functor { typedef Compute_cartesian_coordinate type; }; template struct Functor { typedef Compute_cartesian_coordinate type; }; template struct Functor,D,Construct_iterator_tag> { typedef Construct_point_cartesian_const_iterator type; }; template struct Functor,D,Construct_iterator_tag> { typedef Construct_vector_cartesian_const_iterator type; }; }; template < typename Base_, typename FT_> struct Cartesian_change_FT : public Cartesian_change_FT_base { constexpr Cartesian_change_FT(){} constexpr Cartesian_change_FT(int d):Cartesian_change_FT_base(d){} }; } //namespace CGAL #endif // CGAL_KERNEL_D_CARTESIAN_CHANGE_FT_H