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:

List of all members.

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
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 cudd library),
• built-in types to be used consistently all over the library

---

Member Typedef Documentation

typedef CAuxTypes polybori::CTypes::auxtypes_type

typedef CCompareEnums polybori::CTypes::compenums_type

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.

typedef CErrorEnums polybori::CTypes::errorenums_type

typedef CCuddInterface polybori::CTypes::manager_base

Variables manager base type.

typedef boost::shared_ptr< manager_type > polybori::CTypes::manager_ptr

Define shared pointer to decision diagram manager.

typedef CDDManager<manager_base&> polybori::CTypes::manager_reference

Reference to decision diagramm manager.

typedef CDDManager<manager_base> polybori::CTypes::manager_type

Manage variables to be used by polynomials over Boolean ring.

typedef COrderEnums polybori::CTypes::orderenums_type

---

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:

• pbori_defs.h