reintroduce bdd_new_var, although I think it should be removed

neuppl · Dec 9, 2023 · d1b7145 · d1b7145
1 parent 7e3c1be
commit d1b7145
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/src/ffi.rs b/src/ffi.rs
@@ -101,6 +101,7 @@ pub unsafe extern "C" fn mk_bdd_manager_default_order(num_vars: u64) -> *mut Rsd
     .cast()
 }
 
+
 #[no_mangle]
 #[allow(clippy::missing_safety_doc)]
 pub unsafe extern "C" fn bdd_new_label(builder: *mut RsddBddBuilder) -> u64 {
@@ -120,6 +121,17 @@ pub unsafe extern "C" fn bdd_var(
     Box::into_raw(Box::new(ptr))
 }
 
+#[no_mangle]
+#[allow(clippy::missing_safety_doc)]
+pub unsafe extern "C" fn bdd_new_var(
+    builder: *mut RsddBddBuilder,
+    polarity: bool,
+) -> *mut BddPtr<'static> {
+    let builder = robdd_builder_from_ptr(builder);
+    let (_, ptr) = builder.new_var(polarity);
+    Box::into_raw(Box::new(ptr))
+}
+
 #[no_mangle]
 #[allow(clippy::missing_safety_doc)]
 pub unsafe extern "C" fn bdd_ite(