package rsdd

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type rsdd_bdd_ptr

type rsdd_bdd_builder

type rsdd_cnf

type rsdd_partial_model

type rsdd_var_label

type rsdd_wmc_params_r

type rsdd_expected_utility

type rsdd_wmc_params_e_u

val mk_bdd_builder_default_order : int64 -> rsdd_bdd_builder

val bdd_new_var : rsdd_bdd_builder -> bool -> int64 * rsdd_bdd_ptr

val bdd_ite : 
  rsdd_bdd_builder ->
  rsdd_bdd_ptr ->
  rsdd_bdd_ptr ->
  rsdd_bdd_ptr ->
  rsdd_bdd_ptr

val bdd_and : rsdd_bdd_builder -> rsdd_bdd_ptr -> rsdd_bdd_ptr -> rsdd_bdd_ptr

val bdd_or : rsdd_bdd_builder -> rsdd_bdd_ptr -> rsdd_bdd_ptr -> rsdd_bdd_ptr

val bdd_negate : rsdd_bdd_builder -> rsdd_bdd_ptr -> rsdd_bdd_ptr

val bdd_true : rsdd_bdd_builder -> rsdd_bdd_ptr

val bdd_false : rsdd_bdd_builder -> rsdd_bdd_ptr

val bdd_is_true : rsdd_bdd_ptr -> bool

val bdd_is_false : rsdd_bdd_ptr -> bool

val bdd_is_const : rsdd_bdd_ptr -> bool

val bdd_eq : rsdd_bdd_builder -> rsdd_bdd_ptr -> rsdd_bdd_ptr -> bool

val bdd_topvar : rsdd_bdd_ptr -> int64

val bdd_low : rsdd_bdd_ptr -> rsdd_bdd_ptr

val bdd_high : rsdd_bdd_ptr -> rsdd_bdd_ptr

val bdd_wmc : rsdd_bdd_ptr -> rsdd_wmc_params_r -> float

val new_wmc_params_r : (float * float) list -> rsdd_wmc_params_r

val bdd_bb : 
  rsdd_bdd_ptr ->
  rsdd_var_label list ->
  int64 ->
  rsdd_wmc_params_e_u ->
  rsdd_expected_utility * rsdd_partial_model

val bdd_meu : 
  rsdd_bdd_ptr ->
  rsdd_var_label list ->
  int64 ->
  rsdd_wmc_params_e_u ->
  rsdd_expected_utility * rsdd_partial_model

val new_wmc_params_eu : 
  ((float * float) * (float * float)) list ->
  rsdd_wmc_params_e_u

val cnf_from_dimacs : string -> rsdd_cnf

val bdd_builder_compile_cnf : rsdd_bdd_builder -> rsdd_cnf -> rsdd_bdd_ptr

val bdd_model_count : rsdd_bdd_builder -> rsdd_bdd_ptr -> int64