polybori::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 DD_CTFP binary_function
typedef node_type(* unary_int_function )(mgrcore_type, int)
typedef node_type(* void_function )(mgrcore_type)
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 polybori::manager_traits< CuddLike >


Member Typedef Documentation

template<class CuddLike>
typedef DD_CTFP polybori::manager_traits< CuddLike >::binary_function

template<class CuddLike>
typedef node_type(* polybori::manager_traits< CuddLike >::binary_int_function)(mgrcore_type, node_type, int)

template<class CuddLike>
typedef CuddLike::mgrcore_ptr polybori::manager_traits< CuddLike >::core_type

template<class CuddLike>
typedef CuddLike::dd_type polybori::manager_traits< CuddLike >::dd_base

template<class CuddLike>
typedef PFC polybori::manager_traits< CuddLike >::errorfunc_type

template<class CuddLike>
typedef CTypes::idx_type polybori::manager_traits< CuddLike >::idx_type

template<class CuddLike>
typedef int(* polybori::manager_traits< CuddLike >::int_unary_function)(mgrcore_type, node_type)

template<class CuddLike>
typedef unsigned long polybori::manager_traits< CuddLike >::large_size_type

template<class CuddLike>
typedef DdManager* polybori::manager_traits< CuddLike >::mgrcore_type

template<class CuddLike>
typedef DdNode* polybori::manager_traits< CuddLike >::node_type

template<class CuddLike>
typedef long int polybori::manager_traits< CuddLike >::refcount_type

template<class CuddLike>
typedef CTypes::size_type polybori::manager_traits< CuddLike >::size_type

template<class CuddLike>
typedef node_type(* polybori::manager_traits< CuddLike >::ternary_function)(mgrcore_type, node_type, node_type, node_type)

template<class CuddLike>
typedef CuddLike::tmp_ref polybori::manager_traits< CuddLike >::tmp_ref

template<class CuddLike>
typedef node_type(* polybori::manager_traits< CuddLike >::unary_int_function)(mgrcore_type, int)

template<class CuddLike>
typedef node_type(* polybori::manager_traits< CuddLike >::void_function)(mgrcore_type)


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

Generated on Thu Mar 5 03:38:02 2009 for PolyBoRi by  doxygen 1.5.8