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

Node of the boolean network. More...

#include <bnet.h>

Collaboration diagram for BnetNode:
Collaboration graph
[legend]

Data Fields

char * name
 
int type
 
int ninp
 
int nfo
 
char ** inputs
 
BnetTablinef
 
int polarity
 
int active
 
int var
 
DdNodedd
 
int exdc_flag
 
struct BnetNodeexdc
 
int count
 
int level
 
int visited
 
struct BnetNodenext
 

Detailed Description

Node of the boolean network.

There is one node in the network for each primary input and for each .names directive. This structure has a field to point to the DD of the node function. The function may be either in terms of primary inputs, or it may be in terms of the local inputs. The latter implies that each node has a variable index associated to it at some point in time. The field "var" stores that variable index, and "active" says if the association is currently valid. (It is indeed possible for an index to be associated to different nodes at different times.)

Field Documentation

◆ active

int BnetNode::active

node has variable associated to it (1) or not (0)

◆ count

int BnetNode::count

auxiliary field for DD dropping

◆ dd

DdNode* BnetNode::dd

decision diagram for the function of this node

◆ exdc

struct BnetNode* BnetNode::exdc

pointer to exdc of dd node

◆ exdc_flag

int BnetNode::exdc_flag

whether an exdc node or not

◆ f

BnetTabline* BnetNode::f

truth table for this node

◆ inputs

char** BnetNode::inputs

input names

◆ level

int BnetNode::level

maximum distance from the inputs

◆ name

char* BnetNode::name

name of the output signal

◆ next

struct BnetNode* BnetNode::next

pointer to implement the linked list of nodes

◆ nfo

int BnetNode::nfo

number of fanout nodes for this node

◆ ninp

int BnetNode::ninp

number of inputs to the node

◆ polarity

int BnetNode::polarity

f is the onset (0) or the offset (1)

◆ type

int BnetNode::type

input, internal, constant, ...

◆ var

int BnetNode::var

DD variable index associated to this node

◆ visited

int BnetNode::visited

flag for search


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