bdd Directory Reference

Directory dependency graph for bdd:

Directories
directory	miniBDD

Files
file	bdd.h [code]
	Choice between the different interface to BDD libraries.
file	bdd_cudd.h [code]
	Interface to Cudd BDD functions that are used in CBMC BDD functions should only be accessed through this header file.
file	bdd_miniBDD.h [code]
	Interface to miniBDD functions that are used in CBMC BDD functions should only be accessed through this header file.