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 * >

List of all members.

Public Types

typedef ZDD dd_base
typedef Cudd * core_type
typedef Cudd & tmp_ref

template<>
struct polybori::manager_traits< Cudd >


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:

Generated on Wed Sep 9 14:31:04 2009 for PolyBoRi by  doxygen 1.5.9