PolyBoRi
Public Types | List of all members
polybori::zdd_traits< CCuddZDD > Struct Template Reference

#include <pbori_traits.h>

Public Types

typedef CCuddInterface manager_base

Member Typedef Documentation

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

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