PolyBoRi
CCuddInterface.h File Reference
#include "pbori_defs.h"
#include "cudd.h"
#include "cuddInt.h"
#include "pbori_func.h"
#include "CCallbackWrapper.h"
#include <vector>
#include <boost/intrusive_ptr.hpp>
#include <boost/scoped_array.hpp>
#include <boost/preprocessor/cat.hpp>
#include <boost/preprocessor/seq/for_each.hpp>
#include <boost/preprocessor/facilities/expand.hpp>
#include <boost/preprocessor/stringize.hpp>
#include "PBoRiError.h"
#include <stdexcept>
#include <algorithm>

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-2010 by The PolyBoRi Team