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:

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.

Classes