PolyBoRi
|
#include <pbori_func.h>
Additional Inherited Members | |
![]() | |
typedef CCuddZDD | dd_base |
Type of underlying binary decicion diagrams. | |
typedef CDDInterface< dd_base > | dd_type |
Type of interface to binary decicion diagrams. | |
typedef ZDDvector | ddvector_type |
Vector of dd_type. | |
typedef CCuddInterface | manager_base |
Variables manager base type. | |
typedef CDDManager< manager_base > | manager_type |
Manage variables to be used by polynomials over Boolean ring. | |
typedef CDDManager < manager_base & > | manager_reference |
Reference to decision diagramm manager. | |
typedef boost::shared_ptr < manager_type > | manager_ptr |
Define shared pointer to decision diagram manager. | |
typedef COrderEnums | orderenums_type |
typedef CErrorEnums | errorenums_type |
typedef CCompareEnums | compenums_type |
typedef CAuxTypes | auxtypes_type |
![]() | |
static idx_type | max_index () |
Fix type and value of maximal index. |