BnetNetwork Struct Reference

Very simple boolean network data structure. More...

#include <bnet.h>

Collaboration diagram for BnetNetwork:
[legend]

Data Fields

char * name
int npis
int ninputs
char ** inputs
int npos
int noutputs
char ** outputs
int nlatches
char *** latches
BnetNodenodes
st_tablehash
char * slope

Detailed Description

Very simple boolean network data structure.


Field Documentation

symbol table to access nodes by name

primary input names: from the .inputs directive

next state names: from the .latch directives

network name: from the .model directive

number of inputs

number of latches

linked list of the nodes

number of outputs

number of primary inputs

number of primary outputs

primary output names: from the .outputs directive

wire_load_slope


The documentation for this struct was generated from the following file:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1