polybori::polybori::zdd_traits< CCuddZDD > Struct Template Reference

#include <pbori_traits.h>

List of all members.

Public Types
typedef CCuddInterface	manager_base

template<>
struct polybori::polybori::zdd_traits< CCuddZDD >

---

Member Typedef Documentation

typedef CCuddInterface polybori::polybori::zdd_traits< CCuddZDD >::manager_base

---

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

• pbori_traits.h