`DddmpClearVisited()`
  Marks a node as not visited
`DddmpNumberDdNodes()`
  Removes nodes from unique table and number them
`DddmpReadCode()`
  Reads a 1 byte node code
`DddmpReadInt()`
  Reads a "packed integer"
`DddmpReadNodeIndex()`
  Reads the index of a node
`DddmpSetVisited()`
  Marks a node as visited
`DddmpUnnumberDdNodes()`
  Restores nodes in unique table, loosing numbering
`DddmpVisited()`
  Returns true if node is visited
`DddmpWriteCode()`
  Writes 1 byte node code
`DddmpWriteInt()`
  Writes a "packed integer"
`DddmpWriteNodeIndex()`
  Write index to node
`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.
`FindVarname()`
  Performs binary search of a name within a sorted array
`NumberNodeRecur()`
  Number nodes recursively in post-order
`QsortStrcmp()`
  String compare for qsort
`ReadByteBinary()`
  Reads a byte from file with escaped , and
`RemoveFromUniqueRecur()`
  Removes a node from unique table
`RestoreInUniqueRecur()`
  Restores a node in unique table
`StoreNodeRecur()`
  Performs the recursive step of Dddmp_bddStore.
`WriteByteBinary()`
  Writes a byte to file filtering , and

Last updated on 980512 20h55