zdd_traits< ZDD > Struct Template Reference

#include <pbori_traits.h>

List of all members.

Public Types

typedef Cudd manager_base

template<>
struct zdd_traits< ZDD >


Member Typedef Documentation

typedef Cudd zdd_traits< ZDD >::manager_base

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