PolyBoRi
Public Types | 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 * > polybori::manager_traits< DdManager * >

Public Types

typedef ZDD dd_base
typedef Cudd * core_type
typedef Cudd & tmp_ref

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: