#include <pbori_traits.h>
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) |
typedef DD_CTFP manager_traits< CuddLike >::binary_function |
typedef node_type(* manager_traits< CuddLike >::binary_int_function)(mgrcore_type, node_type, int) |
typedef CuddLike::mgrcore_ptr manager_traits< CuddLike >::core_type |
typedef CuddLike::dd_type manager_traits< CuddLike >::dd_base |
typedef PFC manager_traits< CuddLike >::errorfunc_type |
typedef CTypes::idx_type manager_traits< CuddLike >::idx_type |
typedef int(* manager_traits< CuddLike >::int_unary_function)(mgrcore_type, node_type) |
typedef unsigned long manager_traits< CuddLike >::large_size_type |
typedef DdManager* manager_traits< CuddLike >::mgrcore_type |
typedef DdNode* manager_traits< CuddLike >::node_type |
typedef long int manager_traits< CuddLike >::refcount_type |
typedef CTypes::size_type manager_traits< CuddLike >::size_type |
typedef node_type(* manager_traits< CuddLike >::ternary_function)(mgrcore_type, node_type, node_type, node_type) |
typedef CuddLike::tmp_ref manager_traits< CuddLike >::tmp_ref |
typedef node_type(* manager_traits< CuddLike >::unary_int_function)(mgrcore_type, int) |
typedef node_type(* manager_traits< CuddLike >::void_function)(mgrcore_type) |