2 <head><title>bnet package abstract
</title></head>
5 <h1>bnet package abstract
</h1>
6 <h2>Simple-minded package to read a blif file.
</h2>
9 <!-- Function Abstracts -->
12 <dt> <a href=
"bnetExtDet.html#Bnet_BuildNodeBDD"><code>Bnet_BuildNodeBDD()
</code></a>
13 <dd> Builds the BDD for the function of a node.
15 <dt> <a href=
"bnetExtDet.html#Bnet_DfsVariableOrder"><code>Bnet_DfsVariableOrder()
</code></a>
16 <dd> Orders the BDD variables by DFS.
18 <dt> <a href=
"bnetExtDet.html#Bnet_FreeNetwork"><code>Bnet_FreeNetwork()
</code></a>
19 <dd> Frees a boolean network created by Bnet_ReadNetwork.
21 <dt> <a href=
"bnetExtDet.html#Bnet_PrintNetwork"><code>Bnet_PrintNetwork()
</code></a>
22 <dd> Prints a boolean network created by readNetwork.
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.
27 <dt> <a href=
"bnetExtDet.html#Bnet_ReadNetwork"><code>Bnet_ReadNetwork()
</code></a>
28 <dd> Reads boolean network from blif file.
30 <dt> <a href=
"bnetExtDet.html#Bnet_ReadOrder"><code>Bnet_ReadOrder()
</code></a>
31 <dd> Reads the variable order from a file.
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.
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.
43 Generated automatically by
<code>extdoc
</code> on
1010215