Public Types | Static Public Member Functions

polybori::CTypes Class Reference

This struct contains type definitions to be used in library classes. More...

#include <pbori_defs.h>

Inheritance diagram for polybori::CTypes:
polybori::COrderEnums polybori::CErrorEnums polybori::CCompareEnums polybori::CAuxTypes polybori::pbori_traits< dummy_iterator > polybori::pbori_traits< int > polybori::pbori_traits< long int > polybori::pbori_traits< std::set< ValueType > > polybori::pbori_traits< std::vector< ValueType > > polybori::pbori_traits< unsigned int > polybori::pbori_traits< void >

List of all members.

Public Types

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.
get enumeration base definitions

typedef COrderEnums orderenums_type
typedef CErrorEnums errorenums_type
typedef CCompareEnums compenums_type
typedef CAuxTypes auxtypes_type

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


Member Typedef Documentation

Type of underlying binary decicion diagrams.

Type of interface to binary decicion diagrams.

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

static idx_type polybori::CTypes::max_index (  )  [inline, static]

Fix type and value of maximal index.


The documentation for this class was generated from the following file: