cudd  3.0.0
The University of Colorado Decision Diagram Package
Data Fields
BnetNetwork Struct Reference

Very simple boolean network data structure. More...

#include <bnet.h>

Collaboration diagram for BnetNetwork:
Collaboration graph
[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

◆ hash

st_table* BnetNetwork::hash

symbol table to access nodes by name

◆ inputs

char** BnetNetwork::inputs

primary input names: from the .inputs directive

◆ latches

char*** BnetNetwork::latches

next state names: from the .latch directives

◆ name

char* BnetNetwork::name

network name: from the .model directive

◆ ninputs

int BnetNetwork::ninputs

number of inputs

◆ nlatches

int BnetNetwork::nlatches

number of latches

◆ nodes

BnetNode* BnetNetwork::nodes

linked list of the nodes

◆ noutputs

int BnetNetwork::noutputs

number of outputs

◆ npis

int BnetNetwork::npis

number of primary inputs

◆ npos

int BnetNetwork::npos

number of primary outputs

◆ outputs

char** BnetNetwork::outputs

primary output names: from the .outputs directive

◆ slope

char* BnetNetwork::slope

wire_load_slope


The documentation for this struct was generated from the following file: