bnet package abstract (Internal)


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_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, or daVinci format.
Bnet_bddDump()
Writes the network BDDs to a file in dot, blif, or daVinci format.

Generated automatically by extdoc on 980509