add a constructor from Lazy_exact_nt

afabri · Mar 29, 2024 · f46dea7 · f46dea7
1 parent 33127aa
commit f46dea7
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/Number_types/include/CGAL/Filtered_rational.h b/Number_types/include/CGAL/Filtered_rational.h
@@ -8,6 +8,7 @@
 namespace CGAL {
 
 struct Filtered_rational;
+template <class NT> class Lazy_exact_nt;
 
 template <>
 class Algebraic_structure_traits<Filtered_rational>
@@ -44,6 +45,9 @@ struct Filtered_rational : boost::totally_ordered1<Filtered_rational
     : i(to_interval(rat)), rat(rat)
   {}
 
+  explicit Filtered_rational(const Lazy_exact_nt<Exact_rational>& l)
+    : i(to_interval(l.exact())), rat(l.exact())
+  {}
 
   Filtered_rational(const Interval_nt<>& i, const Exact_rational& rat)
       : i(i), rat(rat)