|
cudd
3.0.0
The University of Colorado Decision Diagram Package
|
Type to store a line of the truth table of a node. More...
#include <bnet.h>

Data Fields | |
| char * | values |
| struct BnetTabline * | next |
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.
| struct BnetTabline* BnetTabline::next |
pointer to next table line
| char* BnetTabline::values |
string of 1, 0, and -
1.8.11