polybori::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 polybori::CDDInterfaceBase< DDType >

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

Member Typedef Documentation

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

The interfaced type.

Reimplemented in polybori::CDDInterface< CuddLikeZDD >, and polybori::CDDInterface< dd_base >.

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

Generic access to type of *this.

Reimplemented in polybori::BooleSet, polybori::CDDInterface< CuddLikeZDD >, and polybori::CDDInterface< dd_base >.


Constructor & Destructor Documentation

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

Default constructor.

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

Construct instance from interfaced type.

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

Copy constructor.

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

Destructor.


Member Function Documentation

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

Constant casting operator to interfaced type.


Member Data Documentation

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


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

Generated on Thu Mar 5 08:43:12 2009 for PolyBoRi by  doxygen 1.5.8