CBMC
|
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. | |