Public Types | Public Member Functions

polybori::CDDManager< CCuddInterface & > Class Template Reference

#include <CDDManager.h>

Inheritance diagram for polybori::CDDManager< CCuddInterface & >:
polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & >

List of all members.

Public Types

typedef CCuddInterface manager_type
typedef const CCuddInterfacestorage_type
typedef CDDManagerBase
< manager_type, storage_type
base
typedef CDDManager
< CCuddInterface & > 
self
 Generic access to type of *this.

Public Member Functions

 CDDManager (const 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< CCuddInterface & >


Member Typedef Documentation

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

Generic access to type of *this.

Reimplemented from polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & >.

typedef const CCuddInterface& polybori::CDDManager< CCuddInterface & >::storage_type

Constructor & Destructor Documentation

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

Constructor reference of given manager.

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

Extract manager from given decision diagram.

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

Copy constructor.

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

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