From 2ccf9911705aa6dc3f276dcb1641aeb3caaabed9 Mon Sep 17 00:00:00 2001 From: Cameron Moy Date: Thu, 26 Sep 2024 14:08:10 -0400 Subject: [PATCH] add num_recursive_calls to FFI (#189) --- src/ffi.rs | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/ffi.rs b/src/ffi.rs index 050e049..a9d3411 100644 --- 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(