Public Types | Public Member Functions

polybori::CDDManager< CCuddInterface > Class Template Reference

#include <CDDManager.h>

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

List of all members.

Public Types

typedef CCuddInterface manager_type
typedef CCuddInterface 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 (const manager_type &rhs)
 ~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<storage_type> polybori::CDDManager< CCuddInterface >::self

Generic access to type of *this.

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

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

Constructor & Destructor Documentation

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

Construct new decision diagramm manager.

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

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