CCuddCore.h File Reference

#include "pbori_defs.h"
#include <boost/intrusive_ptr.hpp>
#include "pbori_func.h"
#include "pbori_traits.h"
#include "CVariableNames.h"
#include <vector>
#include "cuddInt.h"

Go to the source code of this file.

Classes

class  polybori::CCuddCore
 This class prepares the CUDD's raw decision diagram manager structure for the use with instrinsive pointers. More...

Namespaces

namespace  polybori

Functions

Prepare for the application of intrinsive pointers
void polybori::intrusive_ptr_add_ref (CCuddCore *pCore)
 Increment reference count.
void polybori::intrusive_ptr_release (CCuddCore *pCore)
 Release current pointer by decrementing reference counting.


Detailed Description

Author:
Alexander Dreyer
Date:
2007-07-19
This files defines a

Copyright:
(c) 2007 by The PolyBoRi Team

Generated on Mon Jul 13 22:04:10 2009 for PolyBoRi by  doxygen 1.5.9