Main Page
Related Pages
Namespaces
Classes
Files
Class List
Class Hierarchy
Class Members
manager_traits< Cudd > Struct Template Reference
#include <
pbori_traits.h
>
Inheritance diagram for manager_traits< Cudd >:
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:
pbori_traits.h
Generated on Tue May 4 10:44:40 2010 for PolyBoRi by
1.6.3