bdd.h
BDD
bdd
bdd2inthandler
bdd_addref
bdd_addvarblock
bdd_allsat
bdd_and
bdd_anodecount
bdd_appall
bdd_appex
bdd_apply
bdd_appuni
bdd_autoreorder
bdd_autoreorder_times
bdd_biimp
bdd_blockfile_hook
BDD_BREAK
bdd_buildcube
bdd_cachestats
bdd_clear_error
bdd_clrvarblocks
bdd_compose
bdd_constrain
BDD_DECVNUM
bdd_default_errhandler
bdd_default_gbchandler
bdd_default_reohandler
bdd_delref
BDD_DEREF
bdd_disable_reorder
bdd_done
bdd_enable_reorder
BDD_ERRNUM
bdd_error_hook
bdd_errstring
bdd_exist
bdd_extvarnum
bdd_false
BDD_FILE
bdd_file_hook
bdd_fnload
bdd_fnprintdot
bdd_fnsave
bdd_forall
BDD_FORMAT
bdd_fprintall
bdd_fprintdot
bdd_fprintorder
bdd_fprintset
bdd_fprintstat
bdd_fprinttable
bdd_freepair
bdd_fullsatone
bdd_gbc
bdd_gbc_hook
bdd_getallocnum
bdd_getnodenum
bdd_getreorder_method
bdd_getreorder_times
bdd_high
bdd_ibuildcube
BDD_ILLBDD
bdd_imp
bdd_init
bdd_intaddvarblock
bdd_isrunning
bdd_ite
bdd_ithvar
bdd_level2var
bdd_load
bdd_low
bdd_makeset
BDD_MEMORY
bdd_newpair
bdd_nithvar
bdd_nodecount
BDD_NODENUM
BDD_NODES
bdd_not
BDD_OP
bdd_or
BDD_ORDER
bdd_pathcount
bdd_printall
bdd_printdot
bdd_printorder
bdd_printset
bdd_printstat
bdd_printtable
BDD_RANGE
bdd_relprod
bdd_reorder
BDD_REORDER_FIXED
BDD_REORDER_FREE
bdd_reorder_gain
bdd_reorder_hook
BDD_REORDER_NONE
bdd_reorder_probe
BDD_REORDER_RANDOM
BDD_REORDER_SIFT
BDD_REORDER_SIFTITE
bdd_reorder_verbose
BDD_REORDER_WIN2
BDD_REORDER_WIN2ITE
BDD_REORDER_WIN3
BDD_REORDER_WIN3ITE
BDD_REPLACE
bdd_replace
bdd_resetpair
bdd_resize_hook
bdd_restrict
BDD_RUNNING
bdd_satcount
bdd_satcountln
bdd_satcountlnset
bdd_satcountset
bdd_satone
bdd_satoneset
bdd_save
bdd_scanset
bdd_setbddpair
bdd_setbddpairs
bdd_setcacheratio
bdd_setmaxincrease
bdd_setmaxnodenum
bdd_setminfreenodes
bdd_setpair
bdd_setpairs
bdd_setvarnum
bdd_setvarorder
bdd_simplify
BDD_SIZE
bdd_stats
bdd_support
bdd_swapvar
bdd_true
bdd_unique
bdd_var
BDD_VAR
bdd_var2level
BDD_VARBLK
bdd_varblockall
BDD_VARNUM
bdd_varnum
bdd_varprofile
BDD_VARSET
bdd_veccompose
bdd_versionnum
bdd_versionstr
bdd_xor
bddallsathandler
bddCacheStat
bddfalse
bddfilehandler
bddgbchandler
bddGbcStat
bddinthandler
bddop_and
bddop_biimp
bddop_diff
bddop_imp
bddop_invimp
bddop_less
bddop_nand
bddop_nor
bddop_not
bddop_or
bddop_simplify
bddop_xor
bddPair
bddsizehandler
bddStat
bddtrue
BVEC_DIVZERO
BVEC_SHIFT
BVEC_SIZE
#define BDD_VARNUM   (-10)

Different number of vars.

for vector pair

Definition at line 2067 of file bdd.h.

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