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	CCuddCore
	This class prepares the CUDD's raw decision diagram manager structure for the use with instrinsive pointers. More...
Functions
Prepare for the application of intrinsive pointers
void	intrusive_ptr_add_ref (CCuddCore *pCore)
	Increment reference count.
void	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

---

Function Documentation

void intrusive_ptr_add_ref

(

CCuddCore *

pCore

)

[inline]

Increment reference count.

References CCuddCore::addRef().

void intrusive_ptr_release

(

CCuddCore *

pCore

)

[inline]

Release current pointer by decrementing reference counting.

References CCuddCore::release().