Expand description
Declarations from dddmp.h (serialisation of decision diagrams).
Currently, the error checking macros are not implemented.
Enums§
- Dddmp_
Decomp CnfLoad Type - Dddmp_
Decomp CnfStore Type - Dddmp_
Decomp Type - Dddmp_
Root Match Type - Dddmp_
VarInfo Type - Dddmp_
VarMatch Type
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_
Bin2 ⚠Text - Dddmp_
Text2 ⚠Bin - Dddmp_
cudd ⚠AddArray Load - Dddmp_
cudd ⚠AddArray Store - Dddmp_
cudd ⚠AddLoad - Dddmp_
cudd ⚠AddStore - Dddmp_
cudd ⚠BddArray Load - Dddmp_
cudd ⚠BddArray Load Cnf - Dddmp_
cudd ⚠BddArray Store - Dddmp_
cudd ⚠BddArray Store Blif - Dddmp_
cudd ⚠BddArray Store Cnf - Dddmp_
cudd ⚠BddArray Store Prefix - Dddmp_
cudd ⚠BddArray Store Smv - Dddmp_
cudd ⚠BddDisplay Binary - Dddmp_
cudd ⚠BddLoad - Dddmp_
cudd ⚠BddLoad Cnf - Dddmp_
cudd ⚠BddStore - Dddmp_
cudd ⚠BddStore Blif - Dddmp_
cudd ⚠BddStore Cnf - Dddmp_
cudd ⚠BddStore Prefix - Dddmp_
cudd ⚠BddStore Smv - Dddmp_
cudd ⚠Header Load - Dddmp_
cudd ⚠Header Load Cnf