`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