#include <pbori_traits.h>
Inheritance diagram for polybori::pbori_traits< void >:
Additional Inherited Members | |
 Public Types inherited from polybori::CTypes | |
| 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 |
| Public Types inherited from polybori::equality_property< valid_tag > | |
| typedef valid_tag | easy_equality_property |
| Set marker for validity. | |
| Static Public Member Functions inherited from polybori::CTypes | |
| static idx_type | max_index () |
| Fix type and value of maximal index. | |
The documentation for this class was generated from the following file:
