Generic class containing decision diagram operations. More...
#include <CDDOperations.h>
Generic class containing decision diagram operations.