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