add num_recursive_calls to FFI

neuppl · Jun 16, 2024 · 5d92a86 · 5d92a86
1 parent 01a7723
commit 5d92a86
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/ffi.rs b/src/ffi.rs
@@ -254,6 +254,13 @@ pub unsafe extern "C" fn print_bdd(bdd: *mut BddPtr<'static>) -> *const c_char {
     p
 }
 
+#[no_mangle]
+#[allow(clippy::missing_safety_doc)]
+pub unsafe extern "C" fn bdd_num_recursive_calls(builder: *mut RsddBddBuilder) -> usize {
+    let builder = robdd_builder_from_ptr(builder);
+    builder.num_recursive_calls()
+}
+
 #[no_mangle]
 #[allow(clippy::missing_safety_doc)]
 pub unsafe extern "C" fn bdd_wmc(