cudd
3.0.0
The University of Colorado Decision Diagram Package
|
Go to the documentation of this file.
66 #define BNET_CONSTANT_NODE 0
67 #define BNET_INPUT_NODE 1
68 #define BNET_PRESENT_STATE_NODE 2
69 #define BNET_INTERNAL_NODE 3
70 #define BNET_OUTPUT_NODE 4
71 #define BNET_NEXT_STATE_NODE 5
74 #define BNET_LOCAL_DD 0
75 #define BNET_GLOBAL_DD 1
Specialized DD symbol table.
Definition: cuddInt.h:395
int level
Definition: bnet.h:130
Type to store a line of the truth table of a node.
Definition: bnet.h:98
char * name
Definition: bnet.h:139
int noutputs
Definition: bnet.h:144
BnetNetwork * Bnet_ReadNetwork(FILE *fp, int pr)
Reads boolean network from blif file.
Definition: bnet.c:140
char * slope
Definition: bnet.h:150
int Bnet_DfsVariableOrder(DdManager *dd, BnetNetwork *net)
Orders the BDD variables by DFS.
Definition: bnet.c:787
BnetNode * nodes
Definition: bnet.h:148
int ninp
Definition: bnet.h:119
Very simple boolean network data structure.
Definition: bnet.h:138
Node of the boolean network.
Definition: bnet.h:116
int npis
Definition: bnet.h:140
int type
Definition: bnet.h:118
Decision diagram node.
Definition: cuddInt.h:257
int Bnet_ReadOrder(DdManager *dd, char *ordFile, BnetNetwork *net, int locGlob, int nodrop)
Reads the variable order from a file.
Definition: bnet.c:1067
int Bnet_bddDump(DdManager *dd, BnetNetwork *network, char *dfile, int dumpFmt, int reencoded)
Writes the network BDDs to a file in dot, blif, or daVinci format.
Definition: bnet.c:829
void Bnet_FreeNetwork(BnetNetwork *net)
Frees a boolean network created by Bnet_ReadNetwork.
Definition: bnet.c:554
int visited
Definition: bnet.h:131
struct BnetNode BnetNode
Node of the boolean network.
BnetTabline * f
Definition: bnet.h:122
char ** inputs
Definition: bnet.h:142
char ** outputs
Definition: bnet.h:145
DdNode * dd
Definition: bnet.h:126
int nlatches
Definition: bnet.h:146
int exdc_flag
Definition: bnet.h:127
int Bnet_PrintOrder(BnetNetwork *net, DdManager *dd)
Prints the order of the DD variables of a network.
Definition: bnet.c:1175
struct BnetNode * next
Definition: bnet.h:132
struct BnetNetwork BnetNetwork
Very simple boolean network data structure.
int ninputs
Definition: bnet.h:141
int Bnet_bddArrayDump(DdManager *dd, BnetNetwork *network, char *dfile, DdNode **outputs, char **onames, int noutputs, int dumpFmt)
Writes an array of BDDs to a file in dot, blif, DDcal, factored-form, daVinci, or blif-MV format.
Definition: bnet.c:973
struct BnetTabline * next
Definition: bnet.h:100
int nfo
Definition: bnet.h:120
int polarity
Definition: bnet.h:123
char ** inputs
Definition: bnet.h:121
char *** latches
Definition: bnet.h:147
char * name
Definition: bnet.h:117
struct BnetTabline BnetTabline
Type to store a line of the truth table of a node.
char * values
Definition: bnet.h:99
int Bnet_BuildNodeBDD(DdManager *dd, BnetNode *nd, st_table *hash, int params, int nodrop)
Builds the BDD for the function of a node.
Definition: bnet.c:632
int count
Definition: bnet.h:129
struct BnetNode * exdc
Definition: bnet.h:128
st_table * hash
Definition: bnet.h:149
void Bnet_PrintNetwork(BnetNetwork *net)
Prints to stdout a boolean network created by Bnet_ReadNetwork.
Definition: bnet.c:501
Symbol table header.
Definition: st.c:101
static const char * onames[]
Definition: ntr.c:67
The University of Colorado decision diagram package.
int npos
Definition: bnet.h:143
int active
Definition: bnet.h:124
int var
Definition: bnet.h:125