This is the common base for the specialized template class CDDInterface. More...
#include <CDDInterface.h>
Public Types | |
typedef DDType | interfaced_type |
The interfaced type. | |
typedef CDDInterfaceBase < interfaced_type > | self |
Generic access to type of *this. | |
Public Member Functions | |
CDDInterfaceBase () | |
Default constructor. | |
CDDInterfaceBase (const interfaced_type &interfaced) | |
Construct instance from interfaced type. | |
CDDInterfaceBase (const self &rhs) | |
Copy constructor. | |
~CDDInterfaceBase () | |
Destructor. | |
operator const interfaced_type & () const | |
Constant casting operator to interfaced type. | |
Protected Attributes | |
interfaced_type | m_interfaced |
This is the common base for the specialized template class CDDInterface.
typedef DDType CDDInterfaceBase< DDType >::interfaced_type |
The interfaced type.
Reimplemented in CDDInterface< CuddLikeZDD >.
typedef CDDInterfaceBase<interfaced_type> CDDInterfaceBase< DDType >::self |
Generic access to type of *this.
Reimplemented in CDDInterface< CuddLikeZDD >.
CDDInterfaceBase< DDType >::CDDInterfaceBase | ( | ) | [inline] |
Default constructor.
CDDInterfaceBase< DDType >::CDDInterfaceBase | ( | const interfaced_type & | interfaced | ) | [inline] |
Construct instance from interfaced type.
CDDInterfaceBase< DDType >::CDDInterfaceBase | ( | const self & | rhs | ) | [inline] |
Copy constructor.
CDDInterfaceBase< DDType >::~CDDInterfaceBase | ( | ) | [inline] |
Destructor.
CDDInterfaceBase< DDType >::operator const interfaced_type & | ( | ) | const [inline] |
Constant casting operator to interfaced type.
interfaced_type CDDInterfaceBase< DDType >::m_interfaced [protected] |