bdd Directory Reference

Directory dependency graph for bdd:

Directories
	miniBDD

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