bdd_cudd.h File Reference
Interface to Cudd BDD functions that are used in CBMC BDD functions should only be accessed through this header file. More...
Include dependency graph for bdd_cudd.h:Go to the source code of this file.
Classes | |
| class | bdd_nodet |
| Low level access to the structure of the BDD, read-only. More... | |
| class | bddt |
| Logical operations on BDDs. More... | |
| class | bdd_managert |
| Manager for BDD creation. More... | |
Detailed Description
Interface to Cudd BDD functions that are used in CBMC BDD functions should only be accessed through this header file.
That way, in case we want to change the underlying implementation of BDDs, we will only have to substitute another header file for this one.
Definition in file bdd_cudd.h.
