distr/dddmp/doc/dddmpExtAbs.html

   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
  90 Last updated on 1040218 17h14
  91 </body></html>