# bnet package abstract

## Simple-minded package to read a blif file.

`Bnet_BuildNodeBDD()`
  Builds the BDD for the function of a node.
`Bnet_DfsVariableOrder()`
  Orders the BDD variables by DFS.
`Bnet_FreeNetwork()`
  Frees a boolean network created by Bnet_ReadNetwork.
`Bnet_PrintNetwork()`
  Prints a boolean network created by readNetwork.
`Bnet_PrintOrder()`
  Prints the order of the DD variables of a network.
`Bnet_ReadNetwork()`
  Reads boolean network from blif file.
`Bnet_ReadOrder()`
  Reads the variable order from a file.
`Bnet_bddArrayDump()`
  Writes an array of BDDs to a file in dot, blif, DDcal, factored-form, or daVinci format.
`Bnet_bddDump()`
  Writes the network BDDs to a file in dot, blif, or daVinci format.

Generated automatically by `extdoc` on 1010215