polybori::zdd_traits< CCuddZDD > Struct Template Reference

#include <pbori_traits.h>

List of all members.

Public Types

typedef CCuddInterface manager_base

template<>
struct polybori::zdd_traits< CCuddZDD >


Member Typedef Documentation

typedef CCuddInterface polybori::zdd_traits< CCuddZDD >::manager_base


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

Generated on Thu Mar 5 02:30:42 2009 for PolyBoRi by  doxygen 1.5.8