manager_traits< Cudd * > Struct Template Reference

#include <pbori_traits.h>

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

List of all members.

template<>
struct manager_traits< Cudd * >


The documentation for this struct was generated from the following file:
Generated on Tue May 4 08:13:30 2010 for PolyBoRi by  doxygen 1.6.3