int bdd_getnodenum ( void   ) 

Get the number of active nodes in use.

Returns the number of nodes in the nodetable that are currently in use. Note that dead nodes that have not been reclaimed yet by a garbage collection are counted as active.

Returns:
The number of nodes.
See also:
bdd_getallocnum, bdd_setmaxnodenum


Generated on Mon Jul 23 13:25:14 2007 for BuDDy by  doxygen 1.5.1