Binary Decision Diagrams and Friends¶

@toc

This package provides an interface to the BDD package CUDD.

The BDD code requires the CUDD library compiled as a dynamic library. In Linux cudd is available out of box in Fedora, and is an AUR user support package in the AUR. In distributions such as Debian or Ubuntu you will have to compile from source. A pre-compiled library is available as a MacPorts OSX package, and in cygwin.

To use the bdd library, call

 :-use_module(library(bdd))`.

• bdd_tree/2
• list_to_cudd/2
• bdd_from_list/4
• bdd_new/4
• prolog::tree_to_p_grad/4
• prolog::tree_to_p_grad/5
• prolog::tree_to_grad/3
• prolog::tree_to_grad/4
• prolog::tree_to_sp/2
• prolog::tree_to_sp/3
• prolog::mtbdd_close/1
• prolog::bdd_print/3
• prolog::bdd_print/2
• prolog::bdd_size/2
• prolog::bdd_reorder/1
• prolog::bdd_close/1
• prolog::bdd_to_probability_sum_product/3
• prolog::bdd_to_probability_sum_product/2
• prolog::bdd_to_tree/3
• prolog::bdd_to_tree/2
• prolog::mtbdd_eval/2
• prolog::bdd_eval/2
• prolog::mtbdd_new/3
• prolog::mtbdd_new/2
• prolog::bdd_from_list/3
• prolog::bdd_new/3
• prolog::bdd_new/2