DddmpBddReadHeaderCnf()
Reads a the header of a dump file representing the argument BDDs.
DddmpBddReadHeader()
Reads a the header of a dump file representing the argument BDDs.
DddmpClearVisitedAdd()
Marks a node as not visited
DddmpClearVisitedBdd()
Marks a node as not visited
DddmpClearVisitedCnfRecur()
Mark ALL nodes as not visited
DddmpClearVisitedCnfRecur()
Mark ALL nodes as not visited
DddmpClearVisitedCnf()
Marks a node as not visited
DddmpClearVisitedCnf()
Marks a node as not visited
DddmpClearVisited()
Marks a node as not visited
DddmpCnfClauses2Bdd()
Transforms CNF clauses into BDDs.
DddmpCuddBddArrayStoreCnf()
Writes a dump file representing the argument Array of BDDs in the CNF standard format.
DddmpCuddBddArrayStore()
Writes a dump file representing the argument Array of BDDs.
DddmpCuddDdArrayLoadCnf()
Reads a dump file representing the argument BDDs in CNF format.
DddmpCuddDdArrayLoad()
Reads a dump file representing the argument BDDs.
DddmpCuddDdArrayStoreBdd()
Writes a dump file representing the argument Array of BDDs/ADDs.
DddmpCuddDdArrayStoreBlifBody()
Writes a blif body representing the argument BDDs.
DddmpCuddDdArrayStoreBlifStep()
Performs the recursive step of DddmpCuddDdArrayStoreBlif.
DddmpCuddDdArrayStoreBlif()
Writes a blif file representing the argument BDDs.
DddmpCuddDdArrayStorePrefixBody()
Internal function to writes a dump file representing the argument BDD in a prefix notation. Writes the body of the file.
DddmpCuddDdArrayStorePrefixStep()
Performs the recursive step of DddmpCuddDdArrayStorePrefixBody.
DddmpCuddDdArrayStorePrefix()
Internal function to writes a dump file representing the argument BDD in a prefix notation.
DddmpCuddDdArrayStoreSmvBody()
Internal function to writes a dump file representing the argument BDD in a SMV notation. Writes the body of the file.
DddmpCuddDdArrayStoreSmvStep()
Performs the recursive step of DddmpCuddDdArrayStoreSmvBody.
DddmpCuddDdArrayStoreSmv()
Internal function to writes a dump file representing the argument BDD in a SMV notation.
DddmpDdNodesCheckIncomingAndScanPath()
Number nodes recursively in post-order
DddmpDdNodesCheckIncomingAndScanPath()
Number nodes recursively in post-order
DddmpDdNodesCountEdgesAndNumber()
Removes nodes from unique table and numbers each node according to the number of its incoming BDD edges.
DddmpDdNodesCountEdgesAndNumber()
Removes nodes from unique table and numbers each node according to the number of its incoming BDD edges.
DddmpDdNodesCountEdgesRecur()
Counts the number of incoming edges for each node of a BDD
DddmpDdNodesCountEdgesRecur()
Counts the number of incoming edges for each node of a BDD
DddmpDdNodesNumberEdgesRecur()
Number nodes recursively in post-order
DddmpDdNodesNumberEdgesRecur()
Number nodes recursively in post-order
DddmpDdNodesResetCountRecur()
Resets counter and visited flag for ALL nodes of a BDD
DddmpDdNodesResetCountRecur()
Resets counter and visited flag for ALL nodes of a BDD
DddmpFreeHeaderCnf()
Frees the internal header structure.
DddmpFreeHeader()
Frees the internal header structure.
DddmpIntArrayDup()
Duplicates an array of ints
DddmpIntArrayRead()
Inputs an array of ints
DddmpIntArrayWrite()
Outputs an array of ints
DddmpNumberAddNodes()
Removes nodes from unique table and number them
DddmpNumberBddNodes()
Removes nodes from unique table and number them
DddmpNumberDdNodesCnf()
Removes nodes from unique table and numbers them
DddmpNumberDdNodesCnf()
Removes nodes from unique table and numbers them
DddmpNumberDdNodes()
Removes nodes from unique table and number them
DddmpPrintBddAndNextRecur()
Prints debug info
DddmpPrintBddAndNextRecur()
Prints debug info
DddmpPrintBddAndNext()
Prints debug information
DddmpPrintBddAndNext()
Prints debug information
DddmpReadCnfClauses()
Read the CNF clauses from the file in the standard DIMACS format.
DddmpReadCode()
Reads a 1 byte node code
DddmpReadInt()
Reads a "packed integer"
DddmpReadNodeIndexAdd()
Reads the index of a node
DddmpReadNodeIndexBdd()
Reads the index of a node
DddmpReadNodeIndexCnf()
Reads the index of a node
DddmpReadNodeIndexCnf()
Reads the index of a node
DddmpReadNodeIndex()
Reads the index of a node
DddmpSetVisitedAdd()
Marks a node as visited
DddmpSetVisitedBdd()
Marks a node as visited
DddmpSetVisitedCnf()
Marks a node as visited
DddmpSetVisitedCnf()
Marks a node as visited
DddmpSetVisited()
Marks a node as visited
DddmpStrArrayDup()
Duplicates an array of strings
DddmpStrArrayFree()
Frees an array of strings
DddmpStrArrayRead()
Inputs an array of strings
DddmpStrArrayWrite()
Outputs an array of strings
DddmpStrDup()
Duplicates a string
DddmpUnnumberAddNodes()
Restores nodes in unique table, loosing numbering
DddmpUnnumberBddNodes()
Restores nodes in unique table, loosing numbering
DddmpUnnumberDdNodesCnf()
Restores nodes in unique table, loosing numbering
DddmpUnnumberDdNodesCnf()
Restores nodes in unique table, loosing numbering
DddmpUnnumberDdNodes()
Restores nodes in unique table, loosing numbering
DddmpVisitedAdd()
Returns true if node is visited
DddmpVisitedBdd()
Returns true if node is visited
DddmpVisitedCnf()
Returns true if node is visited
DddmpVisitedCnf()
Returns true if node is visited
DddmpVisited()
Returns true if node is visited
DddmpWriteCode()
Writes 1 byte node code
DddmpWriteInt()
Writes a "packed integer"
DddmpWriteNodeIndexAdd()
Write index to node
DddmpWriteNodeIndexBdd()
Write index to node
DddmpWriteNodeIndexCnfBis()
Write index to node
DddmpWriteNodeIndexCnfWithTerminalCheck()
Write index to node
DddmpWriteNodeIndexCnf()
Write index to node
DddmpWriteNodeIndexCnf()
Write index to node
DddmpWriteNodeIndex()
Write index to node
Dddmp_Bin2Text()
Converts from binary to ASCII format
Dddmp_Text2Bin()
Converts from ASCII to binary format
Dddmp_cuddAddArrayLoad()
Reads a dump file representing the argument ADDs.
Dddmp_cuddAddArrayStore()
Writes a dump file representing the argument Array of ADDs.
Dddmp_cuddAddLoad()
Reads a dump file representing the argument ADD.
Dddmp_cuddAddStore()
Writes a dump file representing the argument ADD.
Dddmp_cuddBddArrayLoadCnf()
Reads a dump file in a CNF format.
Dddmp_cuddBddArrayLoad()
Reads a dump file representing the argument BDDs.
Dddmp_cuddBddArrayStoreBlif()
Writes a dump file representing the argument BDD in a Blif/Exlif notation.
Dddmp_cuddBddArrayStoreCnf()
Writes a dump file representing the argument array of BDDs in CNF format.
Dddmp_cuddBddArrayStorePrefix()
Writes a dump file representing the argument BDD in a prefix notation.
Dddmp_cuddBddArrayStoreSmv()
Writes a dump file representing the argument BDD in a prefix notation.
Dddmp_cuddBddArrayStore()
Writes a dump file representing the argument Array of BDDs.
Dddmp_cuddBddDisplayBinary()
Display a binary dump file in a text file
Dddmp_cuddBddLoadCnf()
Reads a dump file in a CNF format.
Dddmp_cuddBddLoad()
Reads a dump file representing the argument BDD.
Dddmp_cuddBddStoreBlif()
Writes a dump file representing the argument BDD in a Blif/Exlif notation.
Dddmp_cuddBddStoreCnf()
Writes a dump file representing the argument BDD in a CNF format.
Dddmp_cuddBddStorePrefix()
Writes a dump file representing the argument BDD in a prefix notation.
Dddmp_cuddBddStoreSmv()
Writes a dump file representing the argument BDD in a prefix notation.
Dddmp_cuddBddStore()
Writes a dump file representing the argument BDD.
Dddmp_cuddHeaderLoadCnf()
Reads the header of a dump file representing the argument BDDs
Dddmp_cuddHeaderLoad()
Reads the header of a dump file representing the argument BDDs
FindVarname()
Performs binary search of a name within a sorted array
NodeBinaryStoreBdd()
Store One Single Node in Binary Format.
NodeStoreRecurAdd()
Performs the recursive step of Dddmp_bddStore.
NodeStoreRecurBdd()
Performs the recursive step of Dddmp_bddStore.
NodeTextStoreAdd()
Store One Single Node in Text Format.
NodeTextStoreBdd()
Store One Single Node in Text Format.
NumberNodeRecurAdd()
Number nodes recursively in post-order
NumberNodeRecurBdd()
Number nodes recursively in post-order
NumberNodeRecurCnf()
Number nodes recursively in post-order
NumberNodeRecurCnf()
Number nodes recursively in post-order
NumberNodeRecur()
Number nodes recursively in post-order
QsortStrcmp()
String compare for qsort
ReadByteBinary()
Reads a byte from file with escaped , and
RemoveFromUniqueRecurAdd()
Removes a node from unique table
RemoveFromUniqueRecurBdd()
Removes a node from unique table
RemoveFromUniqueRecurCnf()
Removes a node from unique table
RemoveFromUniqueRecurCnf()
Removes a node from unique table
RemoveFromUniqueRecur()
Removes a node from unique table
RestoreInUniqueRecurAdd()
Restores a node in unique table
RestoreInUniqueRecurBdd()
Restores a node in unique table
RestoreInUniqueRecurCnf()
Restores a node in unique table
RestoreInUniqueRecurCnf()
Restores a node in unique table
RestoreInUniqueRecur()
Restores a node in unique table
StoreCnfBestNotSharedRecur()
Performs the recursive step of Print Best on Not Shared sub-BDDs.
StoreCnfBestSharedRecur()
Performs the recursive step of Print Best on Shared sub-BDDs.
StoreCnfBest()
Prints a disjoint sum of products with intermediate cutting points.
StoreCnfMaxtermByMaxtermRecur()
Performs the recursive step of Print Maxterm.
StoreCnfMaxtermByMaxterm()
Prints a disjoint sum of products.
StoreCnfNodeByNodeRecur()
Performs the recursive step of Dddmp_bddStore.
StoreCnfNodeByNode()
Store the BDD as CNF clauses.
StoreCnfOneNode()
Store One Single BDD Node.
WriteByteBinary()
Writes a byte to file filtering , and
printCubeCnf()
Print One Cube in CNF Format.
()
Checks for Warnings: If expr==1 it prints out the warning on stderr.
()
Checks for fatal bugs
()
Checks for fatal bugs and go to the label to deal with the error.
()
Checks for fatal bugs and return the DDDMP_FAILURE flag.
()
Memory Allocation Macro for DDDMP
()
Memory Free Macro for DDDMP

Last updated on 1040218 17h14