CTypes Class Reference
This struct contains type definitions to be used in library classes. More...
#include <pbori_defs.h>
Inheritance diagram for CTypes:
Public Types | |
| 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. | |
get enumeration base definitions | |
| typedef COrderEnums | orderenums_type |
| typedef CErrorEnums | errorenums_type |
| typedef CCompareEnums | compenums_type |
| typedef CAuxTypes | auxtypes_type |
Public Member Functions | |
| typedef | PBORI_SHARED_PTR (manager_type) manager_ptr |
| Define shared pointer to decision diagram manager. | |
Static Public Member Functions | |
| static idx_type | max_index () |
| Fix type and value of maximal index. | |
Detailed Description
This struct contains type definitions to be used in library classes.
It mainly consists of definitions for
- the type of decicion diagrams (chosen from the
cuddlibrary), - built-in types to be used consistently all over the library
Member Typedef Documentation
| typedef CAuxTypes CTypes::auxtypes_type |
| typedef CCompareEnums CTypes::compenums_type |
| typedef CCuddZDD CTypes::dd_base |
Type of underlying binary decicion diagrams.
| typedef CDDInterface<dd_base> CTypes::dd_type |
Type of interface to binary decicion diagrams.
| typedef ZDDvector CTypes::ddvector_type |
Vector of dd_type.
| typedef CErrorEnums CTypes::errorenums_type |
| typedef CCuddInterface CTypes::manager_base |
Variables manager base type.
| typedef CDDManager<manager_base&> CTypes::manager_reference |
Reference to decision diagramm manager.
| typedef CDDManager<manager_base> CTypes::manager_type |
Manage variables to be used by polynomials over Boolean ring.
| typedef COrderEnums CTypes::orderenums_type |
Member Function Documentation
| static idx_type CTypes::max_index | ( | ) | [inline, static] |
Fix type and value of maximal index.
References CCompareEnums::max_idx.
Referenced by finalize_term_hash(), and stable_hash_range().
| typedef CTypes::PBORI_SHARED_PTR | ( | manager_type | ) |
Define shared pointer to decision diagram manager.
The documentation for this class was generated from the following file:
