distr/nanotrav/doc/bnetExtAbs.html

   1 <html>
   2 <head><title>bnet package abstract</title></head>
   3 <body>
   4
   5 <h1>bnet package abstract</h1>
   6 <h2>Simple-minded package to read a blif file.</h2>
   7 <hr>
   8
   9 <!-- Function Abstracts -->
  10
  11 <dl>
  12 <dt> <a href="bnetExtDet.html#Bnet_BuildNodeBDD"><code>Bnet_BuildNodeBDD()</code></a>
  13 <dd> Builds the BDD for the function of a node.
  14
  15 <dt> <a href="bnetExtDet.html#Bnet_DfsVariableOrder"><code>Bnet_DfsVariableOrder()</code></a>
  16 <dd> Orders the BDD variables by DFS.
  17
  18 <dt> <a href="bnetExtDet.html#Bnet_FreeNetwork"><code>Bnet_FreeNetwork()</code></a>
  19 <dd> Frees a boolean network created by Bnet_ReadNetwork.
  20
  21 <dt> <a href="bnetExtDet.html#Bnet_PrintNetwork"><code>Bnet_PrintNetwork()</code></a>
  22 <dd> Prints a boolean network created by readNetwork.
  23
  24 <dt> <a href="bnetExtDet.html#Bnet_PrintOrder"><code>Bnet_PrintOrder()</code></a>
  25 <dd> Prints the order of the DD variables of a network.
  26
  27 <dt> <a href="bnetExtDet.html#Bnet_ReadNetwork"><code>Bnet_ReadNetwork()</code></a>
  28 <dd> Reads boolean network from blif file.
  29
  30 <dt> <a href="bnetExtDet.html#Bnet_ReadOrder"><code>Bnet_ReadOrder()</code></a>
  31 <dd> Reads the variable order from a file.
  32
  33 <dt> <a href="bnetExtDet.html#Bnet_bddArrayDump"><code>Bnet_bddArrayDump()</code></a>
  34 <dd> Writes an array of BDDs to a file in dot, blif, DDcal, factored-form, or daVinci format.
  35
  36 <dt> <a href="bnetExtDet.html#Bnet_bddDump"><code>Bnet_bddDump()</code></a>
  37 <dd> Writes the network BDDs to a file in dot, blif, or daVinci format.
  38
  39 </dl>
  40
  41 <hr>
  42
  43 Generated automatically by <code>extdoc</code> on 1010215
  44
  45 </body></html>