Main Page
Modules
Data Structures
Files
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
const
BDD
bddfalse
The constant false bdd.
This bdd holds the constant false value.
See also:
bddtrue
,
bdd_true
,
bdd_false
Generated on Mon Jul 23 13:25:14 2007 for BuDDy by
1.5.1
1.5.1