CDDInterfaceBase< DDType > Class Template Reference

This is the common base for the specialized template class CDDInterface. More...

#include <CDDInterface.h>

List of all members.

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

Detailed Description

template<class DDType>
class CDDInterfaceBase< DDType >

This is the common base for the specialized template class CDDInterface.


Member Typedef Documentation

template<class DDType>
typedef DDType CDDInterfaceBase< DDType >::interfaced_type

The interfaced type.

Reimplemented in CDDInterface< CuddLikeZDD >.

template<class DDType>
typedef CDDInterfaceBase<interfaced_type> CDDInterfaceBase< DDType >::self

Generic access to type of *this.

Reimplemented in CDDInterface< CuddLikeZDD >.


Constructor & Destructor Documentation

template<class DDType>
CDDInterfaceBase< DDType >::CDDInterfaceBase (  )  [inline]

Default constructor.

template<class DDType>
CDDInterfaceBase< DDType >::CDDInterfaceBase ( const interfaced_type interfaced  )  [inline]

Construct instance from interfaced type.

template<class DDType>
CDDInterfaceBase< DDType >::CDDInterfaceBase ( const self rhs  )  [inline]

Copy constructor.

template<class DDType>
CDDInterfaceBase< DDType >::~CDDInterfaceBase (  )  [inline]

Destructor.


Member Function Documentation

template<class DDType>
CDDInterfaceBase< DDType >::operator const interfaced_type & (  )  const [inline]

Constant casting operator to interfaced type.


Member Data Documentation

template<class DDType>
interfaced_type CDDInterfaceBase< DDType >::m_interfaced [protected]

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

Generated on 25 Oct 2009 for PolyBoRi by  doxygen 1.6.1