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 -