#include <pbori_traits.h>
Public Types | |
typedef ZDD | dd_base |
typedef Cudd * | core_type |
typedef Cudd & | tmp_ref |
typedef Cudd* polybori::manager_traits< Cudd >::core_type |
typedef ZDD polybori::manager_traits< Cudd >::dd_base |
typedef Cudd& polybori::manager_traits< Cudd >::tmp_ref |