PolyBoRi
|
This struct contains type definitions to be used in library classes. More...
#include <pbori_defs.h>
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. |
This struct contains type definitions to be used in library classes.
It mainly consists of definitions for
cudd
library),static idx_type polybori::CTypes::max_index | ( | ) | [inline, static] |
Type of interface to binary decicion diagrams.
Fix type and value of maximal index