Module cudd 

CUDD library BDD interface implementation for CUDD

The bindings to the C library, as well as the build mechanisms are provided by the cudd-sys crate.

The CuddManager struct is the manager for the CUDD BDDs and implements the BDDManager trait. The CuddDD struct is the BDD type for CUDD BDDs and implements the BDD trait.

Note that this module uses unsafe code to interact with the CUDD library.

Structs

CuddDD

BDD type for CUDD BDDs

CuddManager

Manager type for CUDD Decision Diagrams

CuddManagerConfig

Configuration for the CUDD manager

InternalCuddMgrPtr 🔒

Internal Handler around the pointer to the CUDD Manager object

Enums

CuddReorderMethod

Dynamic reordering methods supported by the CUDD manager

Constants

CUDD_CACHE_SLOTS

Recommended default size of the operation cache table.

CUDD_UNIQUE_SLOTS

Recommended default size of the unique node table.

Functions

default_cache_slots 🔒

Function to get default cache slots for the CUDD manager

default_max_memory 🔒

Function to get default max memory for the CUDD manager

default_num_slots 🔒

Function to get default num slots for the CUDD manager

default_num_vars 🔒

Function to get default num vars for the CUDD manager

default_num_vars_z 🔒

Function to get default num vars for the CUDD manager

default_reorder_method 🔒

Function to get default reordering method for the CUDD manager

Type Aliases

InternalCuddDD 🔒

InternalCuddMgr 🔒

Internal representation of the CUDD manager