Dddmp_Bin2Text()
Converts from binary to ASCII format
Dddmp_Text2Bin()
Converts from ASCII to binary format
Dddmp_cuddBddArrayLoad()
Reads a dump file representing the argument BDDs.
Dddmp_cuddBddArrayStore()
Writes a dump file representing the argument Array of BDDs.
Dddmp_cuddBddDisplayBinary()
Display a binary dump file in a text file
Dddmp_cuddBddLoad()
Reads a dump file representing the argument BDD.
Dddmp_cuddBddStore()
Writes a dump file representing the argument BDD.

Last updated on 980512 20h55