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

Type to store a line of the truth table of a node. More...

#include <bnet.h>

Collaboration diagram for BnetTabline:
Collaboration graph
[legend]

Data Fields

char * values
 
struct BnetTablinenext
 

Detailed Description

Type to store a line of the truth table of a node.

The entire truth table implemented as a linked list of objects of this type.

Field Documentation

◆ next

struct BnetTabline* BnetTabline::next

pointer to next table line

◆ values

char* BnetTabline::values

string of 1, 0, and -


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