This struct contains type definitions to be used in library classes. More...
#include <pbori_defs.h>
Inheritance diagram for polybori::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. | |
| typedef boost::shared_ptr < manager_type > | manager_ptr |
| Define shared pointer to decision diagram manager. | |
get enumeration base definitions | |
| typedef COrderEnums | orderenums_type |
| typedef CErrorEnums | errorenums_type |
| typedef CCompareEnums | compenums_type |
| typedef CAuxTypes | auxtypes_type |
 Public Types inherited from polybori::COrderEnums | |
| enum | ordercodes { lp, dlex, dp_asc, block_dlex, block_dp_asc } |
| Codes For orderings. More... | |
| Public Types inherited from polybori::CErrorEnums | |
| enum | errorcodes { alright = 0, failed, no_ring, invalid, out_of_bounds, io_error, monomial_zero, illegal_on_zero, division_by_zero, invalid_ite, not_implemented, last_error } |
| Error codes enumeration. More... | |
| Public Types inherited from polybori::CCompareEnums | |
| enum | comparecodes { less_than = -1, equality = 0, greater_than = +1, less_or_equal_max = 0, greater_or_equal_min = 0 } |
| Comparision codes enumeration. More... | |
| enum | { max_idx = CUDD_MAXINDEX } |
| Public Types inherited from polybori::CAuxTypes | |
| typedef bool | bool_type |
| Type for standard true/false statements. | |
| typedef unsigned int | size_type |
| Type for lengths, dimensions, etc. | |
| typedef int | integer_type |
| Type for integer numbers. | |
| typedef int | idx_type |
| Type for indices. | |
| typedef std::size_t | hash_type |
| Type for hashing. | |
| typedef unsigned int | errornum_type |
| Type used to store error codes. | |
| typedef int | comp_type |
| Type for comparisons. | |
| typedef int | ordercode_type |
| Type for ordering codes. | |
| typedef const char * | errortext_type |
| Type used to verbose error information. | |
| typedef std::ostream | ostream_type |
| Type for out-stream. | |
| typedef const char * | vartext_type |
| Type for setting/getting names of variables. | |
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 CCuddZDD polybori::CTypes::dd_base |
Type of underlying binary decicion diagrams.
| typedef CDDInterface<dd_base> polybori::CTypes::dd_type |
Type of interface to binary decicion diagrams.
| typedef ZDDvector polybori::CTypes::ddvector_type |
Vector of dd_type.
Variables manager base type.
| typedef boost::shared_ptr< manager_type > polybori::CTypes::manager_ptr |
Define shared pointer to decision diagram manager.
Reference to decision diagramm manager.
Manage variables to be used by polynomials over Boolean ring.
Member Function Documentation
|
inlinestatic |
Fix type and value of maximal index.
The documentation for this class was generated from the following file:
