Module cudd_sys::dddmp[−][src]

Expand description

Declarations from dddmp.h (serialisation of decision diagrams).

Currently, the error checking macros are not implemented.

Enums

Dddmp_DecompCnfLoadType
Dddmp_DecompCnfStoreType
Dddmp_DecompType
Dddmp_RootMatchType
Dddmp_VarInfoType
Dddmp_VarMatchType

Constants

DDDMP_FAILURE

Returned by functions when failed.

DDDMP_MODE_BINARY

Binary formatting mode.

DDDMP_MODE_DEFAULT

Default formatting mode.

DDDMP_MODE_TEXT

Text formatting mode.

DDDMP_SUCCESS

Returned by functions when succeeded.

DDDMP_VERSION

Version of DDDMP format.

Functions

Dddmp_Bin2Text⚠
Dddmp_Text2Bin⚠
Dddmp_cuddAddArrayLoad⚠
Dddmp_cuddAddArrayStore⚠
Dddmp_cuddAddLoad⚠
Dddmp_cuddAddStore⚠
Dddmp_cuddBddArrayLoad⚠
Dddmp_cuddBddArrayLoadCnf⚠
Dddmp_cuddBddArrayStore⚠
Dddmp_cuddBddArrayStoreBlif⚠
Dddmp_cuddBddArrayStoreCnf⚠
Dddmp_cuddBddArrayStorePrefix⚠
Dddmp_cuddBddArrayStoreSmv⚠
Dddmp_cuddBddDisplayBinary⚠
Dddmp_cuddBddLoad⚠
Dddmp_cuddBddLoadCnf⚠
Dddmp_cuddBddStore⚠
Dddmp_cuddBddStoreBlif⚠
Dddmp_cuddBddStoreCnf⚠
Dddmp_cuddBddStorePrefix⚠
Dddmp_cuddBddStoreSmv⚠
Dddmp_cuddHeaderLoad⚠
Dddmp_cuddHeaderLoadCnf⚠