add num_recursive_calls to FFI (#189)

camoy · web-flow · commit 2ccf9911705a · 2024-09-26T14:08:10.000-04:00
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(

Original file line number	Diff line number	Diff line change
`@@ -254,6 +254,13 @@ pub unsafe extern "C" fn print_bdd(bdd: mut BddPtr<'static>) -> const c_char {`
`254`	`254`	`p`
`255`	`255`	`}`
`256`	`256`
	`257`	`+#[no_mangle]`
	`258`	`+#[allow(clippy::missing_safety_doc)]`
	`259`	`+pub unsafe extern "C" fn bdd_num_recursive_calls(builder: *mut RsddBddBuilder) -> usize {`
	`260`	`+ let builder = robdd_builder_from_ptr(builder);`
	`261`	`+ builder.num_recursive_calls()`
	`262`	`+}`
	`263`	`+`
`257`	`264`	`#[no_mangle]`
`258`	`265`	`#[allow(clippy::missing_safety_doc)]`
`259`	`266`	`pub unsafe extern "C" fn bdd_wmc(`