polybori::manager_traits< Cudd > Struct Template Reference

#include <pbori_traits.h>

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

List of all members.

Public Types

typedef ZDD dd_base
typedef Cudd * core_type
typedef Cudd & tmp_ref

template<>
struct polybori::manager_traits< Cudd >


Member Typedef Documentation

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

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

Generated by  doxygen 1.6.2