PolyBoRi
Public Types
polybori::manager_traits Struct Reference

#include <pbori_traits.h>

List of all members.

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)

Member Typedef Documentation


The documentation for this struct was generated from the following file: