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