polybori::manager_traits< CuddLike > Struct Template Reference

#include <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 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 polybori::manager_traits< CuddLike >

---

Member Typedef Documentation

template<class CuddLike>

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

template<class CuddLike>

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

template<class CuddLike>

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

template<class CuddLike>

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

template<class CuddLike>

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

template<class CuddLike>

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

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)

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 node_type(* polybori::manager_traits< CuddLike >::ternary_function)(mgrcore_type, node_type, node_type, node_type)

template<class CuddLike>

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

---

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

• traits.h