polybori::manager_traits< Cudd > Struct Template Reference

#include <pbori_traits.h>

Inheritance diagram for polybori::manager_traits< Cudd >:

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:

• pbori_traits.h