manager_traits< CuddLike > Struct Template Reference

#include <pbori_traits.h>

List of all members.

Public Types

typedef CuddLike::dd_type dd_base
typedef CuddLike::mgrcore_ptr core_type
typedef CuddLike::tmp_ref tmp_ref
typedef unsigned long large_size_type
typedef long int refcount_type
typedef CTypes::idx_type idx_type
typedef CTypes::size_type size_type
typedef DdNode * node_type
typedef DdManager * mgrcore_type
typedef PFC errorfunc_type
typedef node_type(* unary_int_function )(mgrcore_type, int)
typedef node_type(* void_function )(mgrcore_type)
typedef DD_CTFP binary_function
typedef node_type(* binary_int_function )(mgrcore_type, node_type, int)
typedef node_type(* ternary_function )(mgrcore_type, node_type, node_type, node_type)
typedef int(* int_unary_function )(mgrcore_type, node_type)

template<class CuddLike>
struct manager_traits< CuddLike >


Member Typedef Documentation

template<class CuddLike>
typedef DD_CTFP manager_traits< CuddLike >::binary_function
template<class CuddLike>
typedef node_type(* manager_traits< CuddLike >::binary_int_function)(mgrcore_type, node_type, int)
template<class CuddLike>
typedef CuddLike::mgrcore_ptr manager_traits< CuddLike >::core_type
template<class CuddLike>
typedef CuddLike::dd_type manager_traits< CuddLike >::dd_base
template<class CuddLike>
typedef PFC manager_traits< CuddLike >::errorfunc_type
template<class CuddLike>
typedef CTypes::idx_type manager_traits< CuddLike >::idx_type
template<class CuddLike>
typedef int(* manager_traits< CuddLike >::int_unary_function)(mgrcore_type, node_type)
template<class CuddLike>
typedef unsigned long manager_traits< CuddLike >::large_size_type
template<class CuddLike>
typedef DdManager* manager_traits< CuddLike >::mgrcore_type
template<class CuddLike>
typedef DdNode* manager_traits< CuddLike >::node_type
template<class CuddLike>
typedef long int manager_traits< CuddLike >::refcount_type
template<class CuddLike>
typedef CTypes::size_type manager_traits< CuddLike >::size_type
template<class CuddLike>
typedef node_type(* manager_traits< CuddLike >::ternary_function)(mgrcore_type, node_type, node_type, node_type)
template<class CuddLike>
typedef CuddLike::tmp_ref manager_traits< CuddLike >::tmp_ref
template<class CuddLike>
typedef node_type(* manager_traits< CuddLike >::unary_int_function)(mgrcore_type, int)
template<class CuddLike>
typedef node_type(* manager_traits< CuddLike >::void_function)(mgrcore_type)

The documentation for this struct was generated from the following file:
Generated on Wed May 5 21:36:18 2010 for PolyBoRi by  doxygen 1.6.3