source: icGREP/icgrep-devel/cudd-2.5.1/dddmp/doc/dddmpExtAbs.html @ 4597

Last change on this file since 4597 was 4597, checked in by nmedfort, 4 years ago

Upload of the CUDD library.

File size: 4.1 KB
Line 
1<html>
2<head><title>dddmp package abstract</title></head>
3<body>
4
5
6<!-- Function Abstracts -->
7
8<dl>
9<dt> <a href="dddmpAllDet.html#Dddmp_Bin2Text" TARGET="MAIN"><code>Dddmp_Bin2Text()</code></a>
10<dd> Converts from binary to ASCII format
11
12<dt> <a href="dddmpAllDet.html#Dddmp_Text2Bin" TARGET="MAIN"><code>Dddmp_Text2Bin()</code></a>
13<dd> Converts from ASCII to binary format
14
15<dt> <a href="dddmpAllDet.html#Dddmp_cuddAddArrayLoad" TARGET="MAIN"><code>Dddmp_cuddAddArrayLoad()</code></a>
16<dd> Reads a dump file representing the argument ADDs.
17
18<dt> <a href="dddmpAllDet.html#Dddmp_cuddAddArrayStore" TARGET="MAIN"><code>Dddmp_cuddAddArrayStore()</code></a>
19<dd> Writes a dump file representing the argument Array of ADDs.
20
21<dt> <a href="dddmpAllDet.html#Dddmp_cuddAddLoad" TARGET="MAIN"><code>Dddmp_cuddAddLoad()</code></a>
22<dd> Reads a dump file representing the argument ADD.
23
24<dt> <a href="dddmpAllDet.html#Dddmp_cuddAddStore" TARGET="MAIN"><code>Dddmp_cuddAddStore()</code></a>
25<dd> Writes a dump file representing the argument ADD.
26
27<dt> <a href="dddmpAllDet.html#Dddmp_cuddBddArrayLoadCnf" TARGET="MAIN"><code>Dddmp_cuddBddArrayLoadCnf()</code></a>
28<dd> Reads a dump file in a CNF format.
29
30<dt> <a href="dddmpAllDet.html#Dddmp_cuddBddArrayLoad" TARGET="MAIN"><code>Dddmp_cuddBddArrayLoad()</code></a>
31<dd> Reads a dump file representing the argument BDDs.
32
33<dt> <a href="dddmpAllDet.html#Dddmp_cuddBddArrayStoreBlif" TARGET="MAIN"><code>Dddmp_cuddBddArrayStoreBlif()</code></a>
34<dd> Writes a dump file representing the argument BDD in
35    a Blif/Exlif notation.
36
37<dt> <a href="dddmpAllDet.html#Dddmp_cuddBddArrayStoreCnf" TARGET="MAIN"><code>Dddmp_cuddBddArrayStoreCnf()</code></a>
38<dd> Writes a dump file representing the argument array of BDDs
39    in CNF format.
40
41<dt> <a href="dddmpAllDet.html#Dddmp_cuddBddArrayStorePrefix" TARGET="MAIN"><code>Dddmp_cuddBddArrayStorePrefix()</code></a>
42<dd> Writes a dump file representing the argument BDD in
43    a prefix notation.
44
45<dt> <a href="dddmpAllDet.html#Dddmp_cuddBddArrayStoreSmv" TARGET="MAIN"><code>Dddmp_cuddBddArrayStoreSmv()</code></a>
46<dd> Writes a dump file representing the argument BDD in
47    a prefix notation.
48
49<dt> <a href="dddmpAllDet.html#Dddmp_cuddBddArrayStore" TARGET="MAIN"><code>Dddmp_cuddBddArrayStore()</code></a>
50<dd> Writes a dump file representing the argument Array of BDDs.
51
52<dt> <a href="dddmpAllDet.html#Dddmp_cuddBddDisplayBinary" TARGET="MAIN"><code>Dddmp_cuddBddDisplayBinary()</code></a>
53<dd> Display a binary dump file in a text file
54
55<dt> <a href="dddmpAllDet.html#Dddmp_cuddBddLoadCnf" TARGET="MAIN"><code>Dddmp_cuddBddLoadCnf()</code></a>
56<dd> Reads a dump file in a CNF format.
57
58<dt> <a href="dddmpAllDet.html#Dddmp_cuddBddLoad" TARGET="MAIN"><code>Dddmp_cuddBddLoad()</code></a>
59<dd> Reads a dump file representing the argument BDD.
60
61<dt> <a href="dddmpAllDet.html#Dddmp_cuddBddStoreBlif" TARGET="MAIN"><code>Dddmp_cuddBddStoreBlif()</code></a>
62<dd> Writes a dump file representing the argument BDD in
63    a Blif/Exlif notation.
64
65<dt> <a href="dddmpAllDet.html#Dddmp_cuddBddStoreCnf" TARGET="MAIN"><code>Dddmp_cuddBddStoreCnf()</code></a>
66<dd> Writes a dump file representing the argument BDD in
67    a CNF format.
68
69<dt> <a href="dddmpAllDet.html#Dddmp_cuddBddStorePrefix" TARGET="MAIN"><code>Dddmp_cuddBddStorePrefix()</code></a>
70<dd> Writes a dump file representing the argument BDD in
71    a prefix notation.
72
73<dt> <a href="dddmpAllDet.html#Dddmp_cuddBddStoreSmv" TARGET="MAIN"><code>Dddmp_cuddBddStoreSmv()</code></a>
74<dd> Writes a dump file representing the argument BDD in
75    a prefix notation.
76
77<dt> <a href="dddmpAllDet.html#Dddmp_cuddBddStore" TARGET="MAIN"><code>Dddmp_cuddBddStore()</code></a>
78<dd> Writes a dump file representing the argument BDD.
79
80<dt> <a href="dddmpAllDet.html#Dddmp_cuddHeaderLoadCnf" TARGET="MAIN"><code>Dddmp_cuddHeaderLoadCnf()</code></a>
81<dd> Reads the header of a dump file representing the argument BDDs
82
83<dt> <a href="dddmpAllDet.html#Dddmp_cuddHeaderLoad" TARGET="MAIN"><code>Dddmp_cuddHeaderLoad()</code></a>
84<dd> Reads the header of a dump file representing the argument BDDs
85
86</dl>
87
88<hr>
89
90Last updated on 1040218 17h14
91</body></html>
Note: See TracBrowser for help on using the repository browser.