PolyBoRi
Public Types | List of all members
polybori::manager_traits< CuddLike > Struct Template Reference

#include <traits.h>

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 DdManagermgrcore_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)
 

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 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 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: