CDDManager< Cudd > Class Template Reference

#include <CDDManager.h>

Inheritance diagram for CDDManager< Cudd >:
CDDManagerBase< Cudd, Cudd >

List of all members.

Public Types

typedef Cudd manager_type
typedef Cudd storage_type
typedef CDDManagerBase
< manager_type, storage_type
base
typedef CDDManager< storage_typeself
 Generic access to type of *this.

Public Member Functions

 CDDManager (size_type nvars=0)
 Construct new decision diagramm manager.
 ~CDDManager ()

template<>
class CDDManager< Cudd >


Member Typedef Documentation

typedef Cudd CDDManager< Cudd >::manager_type

Generic access to type of *this.

Reimplemented from CDDManagerBase< Cudd, Cudd >.

typedef Cudd CDDManager< Cudd >::storage_type

Constructor & Destructor Documentation

CDDManager< Cudd >::CDDManager ( size_type  nvars = 0  )  [inline]

Construct new decision diagramm manager.

CDDManager< Cudd >::~CDDManager (  )  [inline]

The documentation for this class was generated from the following file:
Generated on Thu Aug 5 12:57:30 2010 for PolyBoRi by  doxygen 1.6.3