Module dddmp 

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^⚠