CBMC
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
bdd Directory Reference
+ Directory dependency graph for bdd:

Directories

 miniBDD
 

Files

 bdd.h
 Choice between the different interface to BDD libraries.
 
 bdd_cudd.h
 Interface to Cudd BDD functions that are used in CBMC BDD functions should only be accessed through this header file.
 
 bdd_miniBDD.h
 Interface to miniBDD functions that are used in CBMC BDD functions should only be accessed through this header file.