CGAL users discussion list

[Efi Fogel <>]

Without going too deep into the matter, the _expression_

CGAL::Kernel_traits<Arr_circle_segment_traits_2<K>::Point_2>::Kernel

does not make much sense.

Yes, there is a kernel involved, but in general, you do not know how, and in particular, the point type is not Kernel::Point_2.

The same holds for other traits.

In addition, a kernel may have state, so even if you obtain the type, it's not always wise, or even legal, to define a kernel object and use it. It should be up to the user to define and use a kernel.

   ____  _        ____             _
  /_____/_) o    /__________  __  //
 (____ (   (    (    (_/ (_/-(-'_(/
                         _/

On Tue, 30 Jul 2019 at 12:27, Laurent Rineau (CGAL/GeometryFactory) <> wrote:

On Tuesday, July 30, 2019 10:51:37 AM CEST Laurent Rineau (CGAL/
GeometryFactory) wrote:
> On Tuesday, July 30, 2019 9:29:10 AM CEST Guillaume Damiand wrote:
> > Hello;
> >
> > The problem comes from CGAL::Kernel_traits, used to retrieve the kernel
> > given the type of a Point.
> >
> > CGAL::Kernel_traits<Arr_circle_segment_traits_2<K>::Point_2>::Kernel is
> > Dummy_kernel
> >
> > Is it a bug or is it normal ? I would like to obtain K.
>
> That is strange. When `Kernel_traits` return `Dummy_kernel`, that means that
> the type `Point_2` does not a nested `R` type. What is the kernel `K`, in
> your example?

Actually, the issue is that `Arr_circle_segment_traits_2<K>::Point_2` is a
special class `_One_root_point_2<NT, Filter>` defined in `<CGAL/
Arr_geometry_traits/Circle_segment_2.h>` and not related to any kernel.

--
Laurent Rineau, PhD
R&D Engineer at GeometryFactory           http://www.geometryfactory.com/
Release Manager of the CGAL Project       http://www.cgal.org/




--
You are currently subscribed to cgal-discuss.
To unsubscribe or access the archives, go to
https://sympa.inria.fr/sympa/info/cgal-discuss