Crate taco_bdd 

Common interface for binary decision diagrams (BDDs) and BDD managers

This package provides a generic interface for BDDs and BDD managers, allowing the use of multiple BDD libraries, depending on your needs. Currently, this package includes CUDD and OxiDD:

• CUDD
• OxiDD

To interface with BDDs use the BDD and BDDManager types, as well as the BDDManagerConfig to configure the different managers.

To add a new BDD library, implement the Bdd and BddManager traits for the library, add it as new module and add a variant for the new library to the BDD and BDDManager types.

Modules

cudd 🔒

CUDD library BDD interface implementation for CUDD

oxidd 🔒

OxiDD library This module implements the BDD trait for the OxiDD library

Enums

BDD

Common representation of a binary decision diagram (BDD)

BDDManager

The BDDManager type allows to interface with BDD Managers from different libraries.

BDDManagerConfig

Configuration for a BDD manager

Traits

Bdd

The BDD trait defines the interface for a binary decision diagram.

BddManager

The BDDManager trait defines the interface for a BDD manager. The associated type DD is the type of BDDs created by this manager.

ProvidesBDDManager

Trait for types that can provide a preconfigured BDDManager