manager_traits< Cudd > Struct Template Reference

#include <pbori_traits.h>

Inheritance diagram for manager_traits< Cudd >:
manager_traits< Cudd * > manager_traits< DdManager * >

List of all members.

Public Types

typedef ZDD dd_base
typedef Cudd * core_type
typedef Cudd & tmp_ref

template<>
struct manager_traits< Cudd >


Member Typedef Documentation

typedef Cudd* manager_traits< Cudd >::core_type
typedef ZDD manager_traits< Cudd >::dd_base
typedef Cudd& manager_traits< Cudd >::tmp_ref

The documentation for this struct was generated from the following file:
Generated on Thu Aug 5 13:34:47 2010 for PolyBoRi by  doxygen 1.6.3