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().


Generated on 25 Oct 2009 for PolyBoRi by  doxygen 1.6.1