Lines Matching defs:nodes
102 {\tt produced} & total number of new nodes ever produced \\
103 {\tt nodenum} & currently allocated number of bdd nodes \\
104 {\tt maxnodenum} & user defined maximum number of bdd nodes \\
105 {\tt freenodes} & number of currently free nodes \\
106 {\tt minfreenodes} & minimum number of nodes that should be left after a
133 int nodes;
140 {\tt nodes} & Total number of allocated nodes in the nodetable \\
141 {\tt freenodes} & Number of free nodes in the nodetable \\
150 int nodes;
395 #define BDD_NODES (-11) /* Tried to set max. number of nodes to be fewer */
402 #define BDD_NODENUM (-17) /* Number of nodes reached user defined maximum */