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