Next:
Compiling and Linking
Up:
CUDD: CU Decision Diagram
Previous:
CUDD Friends
User's Manual
This section describes the use of the CUDD package as a black box.
Compiling and Linking
Basic Data Structures
Initializing and Shutting Down a DdManager
Setting Parameters
Constant Functions
Creating Variables
Basic BDD Manipulation
Basic ADD Manipulation
Basic ZDD Manipulation
Converting ADDs to BDDs and Vice Versa
Converting BDDs to ZDDs and Vice Versa
Variable Reordering for BDDs and ADDs
Grouping Variables
Variable Reordering for ZDDs
Keeping Consistent Variable Orders for BDDs and ZDDs
Hooks
The SIS/VIS Interface
Writing Decision Diagrams to a File
Saving and Restoring BDDs
Fabio Somenzi
Thu Sep 24 23:44:34 MDT 1998