C++ API

Classes
class	BDD
	C++ wrapper for Cal_Bdd, managing reference count with RAII. More...
class	Cal
	Core Manager of everything BDDs, variables, and more. More...

Detailed Description