dddmp.h
dddmpInt.h
dddmpBinary.c
dddmpConvert.c
dddmpDbg.c
dddmpDdNode.c
dddmpDump.c
By: Gianpiero Cabodi & Stefano Quer
By: Gianpiero Cabodi & Stefano Quer
By: Gianpiero Cabodi and Stefano Quer
Input and output BDD codes and integers from/to file
in binary mode.
DD node codes are written as one byte. Integers of any length are written as
sequences of "linked" bytes.
For each byte 7 bits are used for data and one (MSBit) as link with
a further byte (MSB = 1 means one more byte).
Low level read/write of bytes filter filter
By: Gianpiero Cabodi and Stefano Quer
Conversion between ASCII and binary formats is presently
supported by loading a BDD in the source format and storing it
in the target one. We plan to introduce ad hoc procedures
avoiding explicit BDD node generation.
By: Gianpiero Cabodi
Functions to display BDD files in binary format
By: Gianpiero Cabodi
Functions to handle BDD node infos and numbering
By: Gianpiero Cabodi & Stefano Quer
Functions to read in and write out bdds to file. BDDs
are represended on file either in text or binary format under the
following rules. A file contains a forest of BDDs (a vector of
Boolean functions). BDD nodes are numbered with contiguous numbers,
from 1 to NNodes (total number of nodes on a file). 0 is not used to
allow negative node indexes for complemented edges. A file contains
a header, including information about variables and roots to BDD
functions, followed by the list of nodes. BDD nodes are listed
according to their numbering, and in the present implementation
numbering follows a post-order strategy, in such a way that a node
is never listed before its Then/Else children.
DddmpWriteCode()
DddmpReadCode()
DddmpWriteInt()
DddmpReadInt()
WriteByteBinary()
ReadByteBinary()
dddmpConvert.c
Conversion between ASCII and binary formats
Dddmp_Text2Bin()
Dddmp_Bin2Text()
dddmpDbg.c
Functions to display BDD files
Dddmp_cuddBddDisplayBinary()
dddmpDdNode.c
Functions to handle BDD node infos and numbering
DddmpNumberDdNodes()
DddmpUnnumberDdNodes()
DddmpWriteNodeIndex()
DddmpReadNodeIndex()
DddmpVisited()
DddmpSetVisited()
DddmpClearVisited()
NumberNodeRecur()
RemoveFromUniqueRecur()
RestoreInUniqueRecur()
dddmpDump.c
Functions to read in and write out bdds to file
Dddmp_cuddBddStore()
Dddmp_cuddBddArrayStore()
Dddmp_cuddBddLoad()
Dddmp_cuddBddArrayLoad()
StoreNodeRecur()
QsortStrcmp()
FindVarname()
Last updated on 980512 20h55