polybori::CDDManager< Cudd & > Class Template Reference

#include <CDDManager.h>

Inheritance diagram for polybori::CDDManager< Cudd & >:

polybori::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 (manager_type &rhs)
 Constructor reference of given manager.
 CDDManager (const dd_type &dd)
 Extract manager from given decision diagram.
 CDDManager (const self &rhs)
 Copy constructor.
 ~CDDManager ()

template<>
class polybori::CDDManager< Cudd & >


Member Typedef Documentation

typedef CDDManagerBase<manager_type, storage_type> polybori::CDDManager< Cudd & >::base

typedef Cudd polybori::CDDManager< Cudd & >::manager_type

typedef CDDManager<storage_type> polybori::CDDManager< Cudd & >::self

Generic access to type of *this.

Reimplemented from polybori::CDDManagerBase< Cudd, Cudd & >.

typedef Cudd& polybori::CDDManager< Cudd & >::storage_type


Constructor & Destructor Documentation

polybori::CDDManager< Cudd & >::CDDManager ( manager_type rhs  )  [inline]

Constructor reference of given manager.

polybori::CDDManager< Cudd & >::CDDManager ( const dd_type dd  )  [inline]

Extract manager from given decision diagram.

polybori::CDDManager< Cudd & >::CDDManager ( const self rhs  )  [inline]

Copy constructor.

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


The documentation for this class was generated from the following file:

Generated on Thu Mar 5 03:38:00 2009 for PolyBoRi by  doxygen 1.5.8