polybori::polybori::manager_traits< DdManager * > Struct Template Reference

#include <pbori_traits.h>

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

List of all members.

template<>
struct polybori::polybori::manager_traits< DdManager * >

---

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

• pbori_traits.h