CBMC
bdd_miniBDD.h File Reference

Interface to miniBDD functions that are used in CBMC BDD functions should only be accessed through this header file. More...

#include <unordered_map>
#include <solvers/bdd/miniBDD/miniBDD.h>
+ Include dependency graph for bdd_miniBDD.h:
+ This graph shows which files directly or indirectly include this file:

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 miniBDD 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_miniBDD.h.