PolyBoRi
List of all members
polybori::pbori_traits< std::vector< ValueType > > Class Template Reference

#include <pbori_traits.h>

Inheritance diagram for polybori::pbori_traits< std::vector< ValueType > >:
polybori::CTypes polybori::equality_property< invalid_tag > polybori::COrderEnums polybori::CErrorEnums polybori::CCompareEnums polybori::CAuxTypes

Additional Inherited Members

- Public Types inherited from polybori::CTypes
typedef CCuddZDD dd_base
 Type of underlying binary decicion diagrams.
typedef CDDInterface< dd_basedd_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_basemanager_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< invalid_tag >
typedef invalid_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: