Class List

Here are the classes, structs, unions and interfaces with brief descriptions:

CBDD	C++ wrapper for Cal_Bdd, managing reference count with RAII
CCal	Core Manager of everything BDDs, variables, and more