PolyBoRi
List of all members
polybori::manager_traits< Cudd * > Struct Template Reference

#include <pbori_traits.h>

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

Additional Inherited Members

- Public Types inherited from polybori::manager_traits< Cudd >
typedef ZDD dd_base
typedef Cudd * core_type
typedef Cudd & tmp_ref

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