CAL
3.0.0
An External Memory Decision Diagram Library
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
C
BDD
C++ wrapper for
Cal_Bdd
, managing reference count with
RAII
C
Cal
Core Manager of everything BDDs, variables, and more
Generated by
1.9.1