Expose additional CUDD BDD methods to R

NAMESPACE

@@ -16,21 +16,128 @@ export(cudd_autodyn_disable_zdd)
 export(cudd_autodyn_enable)
 export(cudd_autodyn_enable_zdd)
 export(cudd_background)
+export(cudd_bdd_adj_permute_x)
+export(cudd_bdd_and_abstract)
+export(cudd_bdd_and_limit)
+export(cudd_bdd_apa_print_minterm)
+export(cudd_bdd_apa_print_minterm_exp)
+export(cudd_bdd_approx_conj_decomp)
+export(cudd_bdd_approx_disj_decomp)
+export(cudd_bdd_biased_over_approx)
+export(cudd_bdd_biased_under_approx)
 export(cudd_bdd_bind_var)
+export(cudd_bdd_boolean_diff)
+export(cudd_bdd_c_projection)
+export(cudd_bdd_char_to_vect)
+export(cudd_bdd_classify_support)
+export(cudd_bdd_clipping_and)
+export(cudd_bdd_clipping_and_abstract)
+export(cudd_bdd_cof_minterm)
+export(cudd_bdd_cofactor)
+export(cudd_bdd_compose)
+export(cudd_bdd_constrain)
+export(cudd_bdd_constrain_decomp)
+export(cudd_bdd_correlation)
+export(cudd_bdd_correlation_weights)
+export(cudd_bdd_count_leaves)
+export(cudd_bdd_count_minterm)
+export(cudd_bdd_count_path)
+export(cudd_bdd_decreasing)
+export(cudd_bdd_density)
 export(cudd_bdd_dump_dot)
 export(cudd_bdd_epd_print_minterm)
+export(cudd_bdd_equiv_dc)
+export(cudd_bdd_estimate_cofactor)
+export(cudd_bdd_estimate_cofactor_simple)
+export(cudd_bdd_eval)
+export(cudd_bdd_exist_abstract)
+export(cudd_bdd_factored_form_string)
+export(cudd_bdd_find_essential)
+export(cudd_bdd_gen_conj_decomp)
+export(cudd_bdd_gen_disj_decomp)
+export(cudd_bdd_increasing)
+export(cudd_bdd_interpolate)
+export(cudd_bdd_intersect)
+export(cudd_bdd_is_cube)
+export(cudd_bdd_is_one)
+export(cudd_bdd_is_var)
+export(cudd_bdd_is_var_essential)
+export(cudd_bdd_is_zero)
+export(cudd_bdd_isop)
+export(cudd_bdd_ite)
+export(cudd_bdd_ite_constant)
+export(cudd_bdd_ite_formula)
+export(cudd_bdd_iter_conj_decomp)
+export(cudd_bdd_iter_disj_decomp)
+export(cudd_bdd_largest_cube)
+export(cudd_bdd_largest_prime_unate)
+export(cudd_bdd_ldbl_count_minterm)
+export(cudd_bdd_leq)
+export(cudd_bdd_leq_unless)
+export(cudd_bdd_li_compaction)
+export(cudd_bdd_literal_set_intersection)
+export(cudd_bdd_make_prime)
+export(cudd_bdd_maximally_expand)
+export(cudd_bdd_min_hamming_dist)
+export(cudd_bdd_minimize)
+export(cudd_bdd_nand)
+export(cudd_bdd_nor)
+export(cudd_bdd_np_and)
 export(cudd_bdd_one)
+export(cudd_bdd_or_limit)
+export(cudd_bdd_over_approx)
+export(cudd_bdd_permute)
+export(cudd_bdd_pick_one_cube)
+export(cudd_bdd_pick_one_minterm)
+export(cudd_bdd_port_to_zdd)
+export(cudd_bdd_print)
+export(cudd_bdd_print_cover)
+export(cudd_bdd_print_cover_with_cube)
 export(cudd_bdd_print_debug)
+export(cudd_bdd_print_factored_form)
 export(cudd_bdd_print_minterm)
+export(cudd_bdd_print_two_literal_clauses)
 export(cudd_bdd_realign_disable)
 export(cudd_bdd_realign_enable)
 export(cudd_bdd_realignment_enabled)
+export(cudd_bdd_remap_over_approx)
+export(cudd_bdd_remap_under_approx)
+export(cudd_bdd_restrict)
+export(cudd_bdd_shortest_length)
+export(cudd_bdd_shortest_path)
+export(cudd_bdd_solve_eqn)
+export(cudd_bdd_split_set)
+export(cudd_bdd_squeeze)
+export(cudd_bdd_subset_compress)
+export(cudd_bdd_subset_heavy_branch)
+export(cudd_bdd_subset_short_paths)
+export(cudd_bdd_summary)
+export(cudd_bdd_superset_compress)
+export(cudd_bdd_superset_heavy_branch)
+export(cudd_bdd_superset_short_paths)
+export(cudd_bdd_support)
+export(cudd_bdd_support_indices)
+export(cudd_bdd_support_size)
+export(cudd_bdd_swap_variables)
 export(cudd_bdd_to_add)
 export(cudd_bdd_to_zdd)
+export(cudd_bdd_transfer)
 export(cudd_bdd_truth_table)
 export(cudd_bdd_unbind_var)
+export(cudd_bdd_under_approx)
+export(cudd_bdd_univ_abstract)
 export(cudd_bdd_var)
+export(cudd_bdd_var_are_symmetric)
+export(cudd_bdd_var_conj_decomp)
+export(cudd_bdd_var_disj_decomp)
 export(cudd_bdd_var_is_bound)
+export(cudd_bdd_var_is_dependent)
+export(cudd_bdd_vector_compose)
+export(cudd_bdd_verify_sol)
+export(cudd_bdd_xnor)
+export(cudd_bdd_xor_exist_abstract)
+export(cudd_bdd_xor_method)
+export(cudd_bdd_zdd_isop)
 export(cudd_bdd_zero)
 export(cudd_clear_error_code)
 export(cudd_clear_variable_names)

R/cudd_bdd.R

@@ -135,6 +135,22 @@ setMethod("^", signature(e1 = "CuddBDD", e2 = "CuddBDD"), function(e1, e2) {
   return(methods::new("CuddBDD", ptr = ptr, manager_ptr = .cudd_bdd_manager_ptr(e1)))
 })
 
+#' Restrict a BDD with a constraint
+#'
+#' Applies the CUDD `Restrict` operator to reduce a BDD given a constraint BDD.
+#'
+#' @param bdd A [`CuddBDD`] instance to restrict.
+#' @param constraint A [`CuddBDD`] instance expressing the restriction.
+#' @return A [`CuddBDD`] instance.
+#' @export
+cudd_bdd_restrict <- function(bdd, constraint) {
+  if (!.cudd_check_same_manager(bdd, constraint, "Restrict")) {
+    stop("Cannot restrict BDDs from different CuddManager instances.", call. = FALSE)
+  }
+  ptr <- .Call(c_cudd_bdd_restrict, .cudd_bdd_ptr(bdd), .cudd_bdd_ptr(constraint))
+  return(methods::new("CuddBDD", ptr = ptr, manager_ptr = .cudd_bdd_manager_ptr(bdd)))
+}
+
 #' Print an EPD minterm count for a BDD
 #'
 #' This uses the CUDD `EpdPrintMinterm` implementation, which writes to R's