PolyBoRi
|
#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 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 polybori::manager_traits::binary_function |
typedef node_type(* polybori::manager_traits::binary_int_function)(mgrcore_type, node_type, int) |
typedef int(* polybori::manager_traits::int_unary_function)(mgrcore_type, node_type) |
typedef unsigned long polybori::manager_traits::large_size_type |
typedef DdManager* polybori::manager_traits::mgrcore_type |
typedef DdNode* polybori::manager_traits::node_type |
typedef long int polybori::manager_traits::refcount_type |
typedef node_type(* polybori::manager_traits::ternary_function)(mgrcore_type, node_type, node_type, node_type) |
typedef node_type(* polybori::manager_traits::unary_int_function)(mgrcore_type, int) |