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 <cplusplus/cuddObj.hh>
#include <util/narrow.h>

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.