polybori::mgrcore_traits< Cudd > Struct Template Reference

#include <pbori_traits.h>

List of all members.

Public Types

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<>
struct polybori::mgrcore_traits< Cudd >


Member Typedef Documentation

typedef DD_CTFP polybori::mgrcore_traits< Cudd >::binary_function

typedef node_type(* polybori::mgrcore_traits< Cudd >::binary_int_function)(mgrcore_type, node_type, int)

typedef PFC polybori::mgrcore_traits< Cudd >::errorfunc_type

typedef CTypes::idx_type polybori::mgrcore_traits< Cudd >::idx_type

typedef int(* polybori::mgrcore_traits< Cudd >::int_unary_function)(mgrcore_type, node_type)

typedef unsigned long polybori::mgrcore_traits< Cudd >::large_size_type

typedef DdManager* polybori::mgrcore_traits< Cudd >::mgrcore_type

typedef DdNode* polybori::mgrcore_traits< Cudd >::node_type

typedef long int polybori::mgrcore_traits< Cudd >::refcount_type

typedef CTypes::size_type polybori::mgrcore_traits< Cudd >::size_type

typedef node_type(* polybori::mgrcore_traits< Cudd >::ternary_function)(mgrcore_type, node_type, node_type, node_type)

typedef node_type(* polybori::mgrcore_traits< Cudd >::unary_int_function)(mgrcore_type, int)

typedef node_type(* polybori::mgrcore_traits< Cudd >::void_function)(mgrcore_type)


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

Generated on Mon Jul 13 21:10:54 2009 for PolyBoRi by  doxygen 1.5.9