-
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