buddy.ffi.h (2584B)
1 any cfun_bdd_init(any ex); 2 any cfun_bdd_done(any ex); 3 any cfun_bdd_setvarnum(any ex); 4 any cfun_bdd_extvarnum(any ex); 5 any cfun_bdd_isrunning(any ex); 6 any cfun_bdd_setmaxnodenum(any ex); 7 any cfun_bdd_setmaxincrease(any ex); 8 any cfun_bdd_setminfreenodes(any ex); 9 any cfun_bdd_getnodenum(any ex); 10 any cfun_bdd_getallocnum(any ex); 11 any cfun_bdd_versionstr(any ex); 12 any cfun_bdd_versionnum(any ex); 13 any cfun_bdd_printstat(any ex); 14 any cfun_bdd_default_errhandler(any ex); 15 any cfun_bdd_errstring(any ex); 16 any cfun_bdd_clear_error(any ex); 17 any cfun_bdd_true(any ex); 18 any cfun_bdd_false(any ex); 19 any cfun_bdd_varnum(any ex); 20 any cfun_bdd_ithvar(any ex); 21 any cfun_bdd_nithvar(any ex); 22 any cfun_bdd_var(any ex); 23 any cfun_bdd_low(any ex); 24 any cfun_bdd_high(any ex); 25 any cfun_bdd_addref(any ex); 26 any cfun_bdd_delref(any ex); 27 any cfun_bdd_gbc(any ex); 28 any cfun_bdd_newpair(any ex); 29 any cfun_bdd_setpair(any ex); 30 any cfun_bdd_setbddpair(any ex); 31 any cfun_bdd_resetpair(any ex); 32 any cfun_bdd_freepair(any ex); 33 any cfun_bdd_setcacheratio(any ex); 34 any cfun_bdd_not(any ex); 35 any cfun_bdd_apply(any ex); 36 any cfun_bdd_and(any ex); 37 any cfun_bdd_or(any ex); 38 any cfun_bdd_xor(any ex); 39 any cfun_bdd_imp(any ex); 40 any cfun_bdd_biimp(any ex); 41 any cfun_bdd_ite(any ex); 42 any cfun_bdd_restrict(any ex); 43 any cfun_bdd_constrain(any ex); 44 any cfun_bdd_replace(any ex); 45 any cfun_bdd_compose(any ex); 46 any cfun_bdd_veccompose(any ex); 47 any cfun_bdd_simplify(any ex); 48 any cfun_bdd_exist(any ex); 49 any cfun_bdd_forall(any ex); 50 any cfun_bdd_unique(any ex); 51 any cfun_bdd_appex(any ex); 52 any cfun_bdd_appall(any ex); 53 any cfun_bdd_appuni(any ex); 54 any cfun_bdd_support(any ex); 55 any cfun_bdd_satone(any ex); 56 any cfun_bdd_satoneset(any ex); 57 any cfun_bdd_fullsatone(any ex); 58 any cfun_bdd_nodecount(any ex); 59 any cfun_bdd_printall(any ex); 60 any cfun_bdd_printtable(any ex); 61 any cfun_bdd_printset(any ex); 62 any cfun_bdd_fnprintdot(any ex); 63 any cfun_bdd_printdot(any ex); 64 any cfun_bdd_fnsave(any ex); 65 any cfun_bdd_swapvar(any ex); 66 any cfun_bdd_default_reohandler(any ex); 67 any cfun_bdd_reorder(any ex); 68 any cfun_bdd_reorder_gain(any ex); 69 any cfun_bdd_clrvarblocks(any ex); 70 any cfun_bdd_addvarblock(any ex); 71 any cfun_bdd_intaddvarblock(any ex); 72 any cfun_bdd_varblockall(any ex); 73 any cfun_bdd_autoreorder(any ex); 74 any cfun_bdd_autoreorder_times(any ex); 75 any cfun_bdd_var2level(any ex); 76 any cfun_bdd_level2var(any ex); 77 any cfun_bdd_getreorder_times(any ex); 78 any cfun_bdd_getreorder_method(any ex); 79 any cfun_bdd_enable_reorder(any ex); 80 any cfun_bdd_disable_reorder(any ex); 81 any cfun_bdd_reorder_verbose(any ex); 82 any cfun_bdd_printorder(any ex);