#include <pbori_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 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) |
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) |