PolyBoRi
CCuddInterface.h File Reference
#include "CCuddZDD.h"

Go to the source code of this file.


Detailed Description

Author:
Alexander Dreyer
Date:
2007-07-05

This files defines a replacement for the decision diagram manager of CUDD's C++ interface.

Copyright:
(c) 2007 by The PolyBoRi Team