Use consistent type size_t for node_count() in C++ bindings

OxiDD · Apr 20, 2024 · e7bccd2 · e7bccd2
1 parent 04f4cc7
commit e7bccd2
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 3 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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);
   }