-
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