CGAL users discussion list

["Sebastien Loriot (GeometryFactory)" <>]

> Well, I just added the following:
>
> template<class Kernel>
> struct provides_exact_constructions
> {
> public:
>    static const bool value = !(std::is_floating_point<typename
> Kernel::RT>::value);
> };
>
> But shouldn't there be a more systematic approach? What if I need to
> know whether or not the kernel provides exact predicates (which the
> Cartesian<double>  kernel for example does not)?

There exists a tag Has_filtered_predicates which might help you

http://www.cgal.org/Manual/latest/doc_html/cgal_manual/Kernel_23_ref/Concept_Kernel.html

Note that it does not exactly answer your question but for kernels 
provided by CGAL and using floating point number type it will work.

Sebastien.