From 0a8fa742542fe9167ae2c73921809101db978613 Mon Sep 17 00:00:00 2001
From: SimonRohou <simon.rohou@gmail.com>
Date: Fri, 10 Nov 2023 16:07:34 +0100
Subject: [PATCH] [paving] added nb_leaves

---
 src/core/2/domains/paving/codac2_Paving.h | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/core/2/domains/paving/codac2_Paving.h b/src/core/2/domains/paving/codac2_Paving.h
index 0e137b0e..9cc2084e 100644
--- a/src/core/2/domains/paving/codac2_Paving.h
+++ b/src/core/2/domains/paving/codac2_Paving.h
@@ -106,6 +106,15 @@ namespace codac2
         return l;
       }
 
+      size_t nb_leaves() const
+      {
+        if(is_leaf())
+          return 1;
+        else
+          return (_left ? _left->nb_leaves() : 0) +
+            (_right ? _right->nb_leaves() : 0);
+      }
+
     protected:
 
       void boxes_list_push(std::list<std::reference_wrapper<const IntervalVector_<N>>>& l, const IntervalVector_<N>& intersect = IntervalVector_<N>()) const