From e7bccd2afdbbfa0da579b9c9b553d9640d01691a Mon Sep 17 00:00:00 2001
From: Matthias Volk <m.volk@tue.nl>
Date: Mon, 15 Apr 2024 17:33:55 +0200
Subject: [PATCH] Use consistent type size_t for node_count() in C++ bindings

---
 bindings/cpp/include/oxidd/bcdd.hpp     | 2 +-
 bindings/cpp/include/oxidd/bdd.hpp      | 2 +-
 bindings/cpp/include/oxidd/concepts.hpp | 1 +
 bindings/cpp/include/oxidd/zbdd.hpp     | 2 +-
 4 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/bindings/cpp/include/oxidd/bcdd.hpp b/bindings/cpp/include/oxidd/bcdd.hpp
index 20b8a62..024114b 100644
--- a/bindings/cpp/include/oxidd/bcdd.hpp
+++ b/bindings/cpp/include/oxidd/bcdd.hpp
@@ -509,7 +509,7 @@ class bcdd_function {
   /// Locking behavior: acquires a shared manager lock.
   ///
   /// @returns  Node count including the terminal node
-  [[nodiscard]] size_t node_count() const noexcept {
+  [[nodiscard]] std::size_t node_count() const noexcept {
     assert(_func._p);
     return capi::oxidd_bcdd_node_count(_func);
   }
diff --git a/bindings/cpp/include/oxidd/bdd.hpp b/bindings/cpp/include/oxidd/bdd.hpp
index e720c57..582f32b 100644
--- a/bindings/cpp/include/oxidd/bdd.hpp
+++ b/bindings/cpp/include/oxidd/bdd.hpp
@@ -507,7 +507,7 @@ class bdd_function {
   /// Locking behavior: acquires a shared manager lock.
   ///
   /// @returns  Node count including the two terminal nodes
-  [[nodiscard]] uint64_t node_count() const noexcept {
+  [[nodiscard]] std::size_t node_count() const noexcept {
     assert(_func._p);
     return capi::oxidd_bdd_node_count(_func);
   }
diff --git a/bindings/cpp/include/oxidd/concepts.hpp b/bindings/cpp/include/oxidd/concepts.hpp
index 4f6a6cf..71f628a 100644
--- a/bindings/cpp/include/oxidd/concepts.hpp
+++ b/bindings/cpp/include/oxidd/concepts.hpp
@@ -5,6 +5,7 @@
 #if __cplusplus >= 202002L
 
 #include <concepts>
+#include <cstddef>
 #include <cstdlib>
 #include <functional>
 #include <utility>
diff --git a/bindings/cpp/include/oxidd/zbdd.hpp b/bindings/cpp/include/oxidd/zbdd.hpp
index 112cbcf..71943a6 100644
--- a/bindings/cpp/include/oxidd/zbdd.hpp
+++ b/bindings/cpp/include/oxidd/zbdd.hpp
@@ -545,7 +545,7 @@ class zbdd_function {
   /// Locking behavior: acquires a shared manager lock.
   ///
   /// @returns  Node count including the two terminal nodes
-  [[nodiscard]] uint64_t node_count() const noexcept {
+  [[nodiscard]] std::size_t node_count() const noexcept {
     assert(_func._p);
     return capi::oxidd_zbdd_node_count(_func);
   }