cplusplus

C++ CUDD wrapper. More...

Files
file	cuddObj.cc
	Functions for the C++ object-oriented encapsulation of CUDD.
file	cuddObj.hh
	Class definitions for C++ object-oriented encapsulation of CUDD.
file	testmulti.cc
	Test program for multiple managers (one per thread).
file	testobj.cc
	Test program for the C++ object-oriented encapsulation of CUDD.

Detailed Description

C++ CUDD wrapper.