buddy.ffi.fn (3364B)
1 {cfun_bdd_init, "bdd_init"}, 2 {cfun_bdd_done, "bdd_done"}, 3 {cfun_bdd_setvarnum, "bdd_setvarnum"}, 4 {cfun_bdd_extvarnum, "bdd_extvarnum"}, 5 {cfun_bdd_isrunning, "bdd_isrunning"}, 6 {cfun_bdd_setmaxnodenum, "bdd_setmaxnodenum"}, 7 {cfun_bdd_setmaxincrease, "bdd_setmaxincrease"}, 8 {cfun_bdd_setminfreenodes, "bdd_setminfreenodes"}, 9 {cfun_bdd_getnodenum, "bdd_getnodenum"}, 10 {cfun_bdd_getallocnum, "bdd_getallocnum"}, 11 {cfun_bdd_versionstr, "bdd_versionstr"}, 12 {cfun_bdd_versionnum, "bdd_versionnum"}, 13 {cfun_bdd_printstat, "bdd_printstat"}, 14 {cfun_bdd_default_errhandler, "bdd_default_errhandler"}, 15 {cfun_bdd_errstring, "bdd_errstring"}, 16 {cfun_bdd_clear_error, "bdd_clear_error"}, 17 {cfun_bdd_true, "bdd_true"}, 18 {cfun_bdd_false, "bdd_false"}, 19 {cfun_bdd_varnum, "bdd_varnum"}, 20 {cfun_bdd_ithvar, "bdd_ithvar"}, 21 {cfun_bdd_nithvar, "bdd_nithvar"}, 22 {cfun_bdd_var, "bdd_var"}, 23 {cfun_bdd_low, "bdd_low"}, 24 {cfun_bdd_high, "bdd_high"}, 25 {cfun_bdd_addref, "bdd_addref"}, 26 {cfun_bdd_delref, "bdd_delref"}, 27 {cfun_bdd_gbc, "bdd_gbc"}, 28 {cfun_bdd_newpair, "bdd_newpair"}, 29 {cfun_bdd_setpair, "bdd_setpair"}, 30 {cfun_bdd_setbddpair, "bdd_setbddpair"}, 31 {cfun_bdd_resetpair, "bdd_resetpair"}, 32 {cfun_bdd_freepair, "bdd_freepair"}, 33 {cfun_bdd_setcacheratio, "bdd_setcacheratio"}, 34 {cfun_bdd_not, "bdd_not"}, 35 {cfun_bdd_apply, "bdd_apply"}, 36 {cfun_bdd_and, "bdd_and"}, 37 {cfun_bdd_or, "bdd_or"}, 38 {cfun_bdd_xor, "bdd_xor"}, 39 {cfun_bdd_imp, "bdd_imp"}, 40 {cfun_bdd_biimp, "bdd_biimp"}, 41 {cfun_bdd_ite, "bdd_ite"}, 42 {cfun_bdd_restrict, "bdd_restrict"}, 43 {cfun_bdd_constrain, "bdd_constrain"}, 44 {cfun_bdd_replace, "bdd_replace"}, 45 {cfun_bdd_compose, "bdd_compose"}, 46 {cfun_bdd_veccompose, "bdd_veccompose"}, 47 {cfun_bdd_simplify, "bdd_simplify"}, 48 {cfun_bdd_exist, "bdd_exist"}, 49 {cfun_bdd_forall, "bdd_forall"}, 50 {cfun_bdd_unique, "bdd_unique"}, 51 {cfun_bdd_appex, "bdd_appex"}, 52 {cfun_bdd_appall, "bdd_appall"}, 53 {cfun_bdd_appuni, "bdd_appuni"}, 54 {cfun_bdd_support, "bdd_support"}, 55 {cfun_bdd_satone, "bdd_satone"}, 56 {cfun_bdd_satoneset, "bdd_satoneset"}, 57 {cfun_bdd_fullsatone, "bdd_fullsatone"}, 58 {cfun_bdd_nodecount, "bdd_nodecount"}, 59 {cfun_bdd_printall, "bdd_printall"}, 60 {cfun_bdd_printtable, "bdd_printtable"}, 61 {cfun_bdd_printset, "bdd_printset"}, 62 {cfun_bdd_fnprintdot, "bdd_fnprintdot"}, 63 {cfun_bdd_printdot, "bdd_printdot"}, 64 {cfun_bdd_fnsave, "bdd_fnsave"}, 65 {cfun_bdd_swapvar, "bdd_swapvar"}, 66 {cfun_bdd_default_reohandler, "bdd_default_reohandler"}, 67 {cfun_bdd_reorder, "bdd_reorder"}, 68 {cfun_bdd_reorder_gain, "bdd_reorder_gain"}, 69 {cfun_bdd_clrvarblocks, "bdd_clrvarblocks"}, 70 {cfun_bdd_addvarblock, "bdd_addvarblock"}, 71 {cfun_bdd_intaddvarblock, "bdd_intaddvarblock"}, 72 {cfun_bdd_varblockall, "bdd_varblockall"}, 73 {cfun_bdd_autoreorder, "bdd_autoreorder"}, 74 {cfun_bdd_autoreorder_times, "bdd_autoreorder_times"}, 75 {cfun_bdd_var2level, "bdd_var2level"}, 76 {cfun_bdd_level2var, "bdd_level2var"}, 77 {cfun_bdd_getreorder_times, "bdd_getreorder_times"}, 78 {cfun_bdd_getreorder_method, "bdd_getreorder_method"}, 79 {cfun_bdd_enable_reorder, "bdd_enable_reorder"}, 80 {cfun_bdd_disable_reorder, "bdd_disable_reorder"}, 81 {cfun_bdd_reorder_verbose, "bdd_reorder_verbose"}, 82 {cfun_bdd_printorder, "bdd_printorder"},