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
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 ()
	Type of interface to binary decicion diagrams.

---

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 CErrorEnums polybori::CTypes::errorenums_type

typedef COrderEnums polybori::CTypes::orderenums_type

---

Member Function Documentation

static idx_type polybori::CTypes::max_index

(

)

[inline, static]

Type of interface to binary decicion diagrams.

Fix type and value of maximal index

---

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

• pbori_defs.h