From da936358bb19e02534cb4e9eaaaffcf96802792d Mon Sep 17 00:00:00 2001
From: "Scott C. Livingston" <slivingston@cds.caltech.edu>
Date: Fri, 15 Aug 2025 00:30:54 -0700
Subject: [PATCH] ENH: add `dd.sylvan.Function.count()`

---
 dd/sylvan.pyx | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/dd/sylvan.pyx b/dd/sylvan.pyx
index adc260fd..6ec1f0ae 100644
--- a/dd/sylvan.pyx
+++ b/dd/sylvan.pyx
@@ -1062,3 +1062,9 @@ cdef class Function:
         sy.LACE_ME_WRAP
         r = sy.sylvan_xor(self.node, other.node)
         return wrap(self.bdd, r)
+
+    def count(
+            self:
+                Function
+            ) -> _Cardinality:
+        return self.bdd.count(self)