Kernel BDD operations and data structures
bdd_addref
bdd_cachestats
bdd_clear_error
bdd_default_errhandler
bdd_default_gbchandler
bdd_delref
bdd_done
bdd_error_hook
bdd_errstring
bdd_extvarnum
bdd_false
bdd_file_hook
bdd_fprintstat
bdd_freepair
bdd_gbc
bdd_gbc_hook
bdd_getallocnum
bdd_getnodenum
bdd_init
bdd_isrunning
bdd_ithvar
bdd_makeset
bdd_newpair
bdd_nithvar
bdd_printstat
bdd_resetpair
bdd_resize_hook
bdd_scanset
bdd_setbddpair
bdd_setbddpairs
bdd_setcacheratio
bdd_setmaxincrease
bdd_setmaxnodenum
bdd_setminfreenodes
bdd_setpair
bdd_setpairs
bdd_setvarnum
bdd_stats
bdd_true
bdd_varnum
bdd_versionnum
bdd_versionstr
bddCacheStat
bddfalse
bddGbcStat
bddStat
bddtrue
int bdd_getallocnum ( void   ) 

Get the number of allocated nodes.

Returns the number of nodes currently allocated. This includes both dead and active nodes.

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

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