- m -

• main() : avl_bench1.c , calBddReorderTest.c , testbdd.c , testcudd.c , calInt.h
• make_random() : cuddGenetic.c
• MarkCacheCleanUp() : cuddGenCof.c
• MarkCacheCompare() : cuddGenCof.c
• MarkCacheHash() : cuddGenCof.c
• mdd_add_s() : mdd_add.c
• mdd_and_smooth() : mdd_andsmoot.c
• mdd_and_smooth_with_limit() : mdd_andsmoot.c
• mdd_array_array_free() : mdd_init.c
• mdd_array_dump_dot() : mdd_dot.c
• mdd_array_duplicate() : mdd_init.c
• mdd_array_equal() : mdd_init.c
• mdd_array_free() : mdd_init.c
• mdd_array_print_cover() : mdd_dot.c
• mdd_bundle_variables() : mdd_bund.c
• mdd_case() : mdd_case.c
• mdd_check_support() : mdd_util.c
• mdd_cofactor() : mdd_cofactor.c
• mdd_consensus() : mdd_consensus.c
• mdd_count_onset() : mdd_util.c
• mdd_cproject() : mdd_util.c
• mdd_create_variables() : mdd_init.c
• mdd_create_variables_after() : mdd_init.c
• mdd_create_variables_interleaved() : mdd_init.c
• mdd_dump_dot() : mdd_dot.c
• mdd_encode() : mdd_case.c
• mdd_epd_count_onset() : mdd_util.c
• mdd_equal_mod_care_set_array() : mdd_util.c
• mdd_first_minterm() : mdd_iter.c
• mdd_fn_array_to_bdd_fn_array() : mdd_util.c
• mdd_fn_array_to_bdd_rel_array() : mdd_util.c
• mdd_func1c() : mdd_func1c.c
• mdd_func2() : mdd_func2.c
• mdd_func2c() : mdd_func2c.c
• mdd_func2c_mod() : mdd_func2cmod.c
• mdd_func3() : mdd_func3.c
• mdd_gen_free() : mdd_iter.c
• mdd_get_bdd_support_ids() : mdd_support.c
• mdd_get_bdd_support_vars() : mdd_support.c
• mdd_get_care_set() : mdd_util.c
• mdd_get_number_of_bdd_support() : mdd_util.c
• mdd_get_number_of_bdd_vars() : mdd_util.c
• mdd_get_support() : mdd_support.c
• mdd_get_var_by_id() : mdd_util.c
• mdd_id_array_to_bdd_array() : mdd_util.c
• mdd_id_array_to_bdd_cube() : mdd_util.c
• mdd_id_array_to_bdd_id_array() : mdd_util.c
• mdd_id_to_bdd_array() : mdd_util.c
• mdd_id_to_bdd_id_array() : mdd_util.c
• mdd_ineq_template_s() : mdd_ineq_s.c
• mdd_init() : mdd_init.c
• mdd_init_empty() : mdd_init.c
• mdd_interval() : mdd_intv.c
• mdd_is_care_bit() : mdd_ineq_s.c
• mdd_lequal_mod_care_set_array() : mdd_util.c
• mdd_literal() : mdd_literal.c
• mdd_mark() : mdd_util.c
• mdd_mod() : mdd_mod.c
• mdd_name_variables() : mdd_init.c
• mdd_next_minterm() : mdd_iter.c
• mdd_onset_bdd() : mdd_util.c
• mdd_pick_arbitrary_minterms() : mdd_util.c
• mdd_pr_cubes() : mdd_search.c
• mdd_pr_minterms() : mdd_search.c
• mdd_print_array() : mdd_iter.c
• mdd_print_cover() : mdd_dot.c
• mdd_print_support() : mdd_util.c
• mdd_print_support_to_file() : mdd_util.c
• mdd_quit() : mdd_quit.c
• mdd_range_mdd() : mdd_util.c
• mdd_read_mdd_id() : mdd_util.c
• mdd_read_var_name() : mdd_util.c
• mdd_record_variables() : mdd_init.c
• mdd_restart() : mdd_quit.c
• mdd_ret_bvar() : mdd_util.c
• mdd_ret_bvar_id() : mdd_util.c
• mdd_ret_bvar_list() : mdd_util.c
• mdd_ret_bvars_of_mvar() : mdd_util.c
• mdd_ret_mvar_list() : mdd_util.c
• mdd_search() : mdd_search.c
• mdd_set_bvar_list() : mdd_util.c
• mdd_set_mvar_list() : mdd_util.c
• mdd_smooth() : mdd_smooth.c
• mdd_subset_with_mask_vars() : mdd_util.c
• mdd_substitute() : mdd_substit.c
• mdd_substitute_array() : mdd_substit.c
• mdd_traverse() : mdd_cofactor.c
• mdd_unary_minus_s() : mdd_uminus.c
• mdd_unmark() : mdd_util.c
• mdd_var_expunge_bdd_variable() : mdd_init.c
• mddFreeBddArr() : mdd_util.c
• mddIntRetOnvalBdd() : mdd_util.c
• mddRetOnvalBdd() : mdd_util.c
• mem_allocation() : memblock.c
• mem_copy() : memblock.c
• mem_fatal() : memblock.c
• mem_free_block() : memblock.c
• mem_free_rec() : memrec.c
• mem_free_rec_mgr() : memrec.c
• mem_get_block() : memblock.c
• mem_new_rec() : memrec.c
• mem_new_rec_mgr() : memrec.c
• mem_resize_block() : memblock.c
• mem_zero() : memblock.c
• merge_and_free() : memblock.c
• MergeAndFree() : calMem.c
• mintermsFromUniverse() : cuddSplit.c
• MMalloc() : safe_mem.c
• MMfree() : safe_mem.c
• MMout_of_memory() : safe_mem.c
• MMrealloc() : safe_mem.c
• mod_block_build() : mdd_mod.c
• mtbdd_add() : testbdd.c
• mtbdd_add_step() : testbdd.c
• mtbdd_mult() : testbdd.c
• mtbdd_mult_step() : testbdd.c
• mtbdd_transform_closure() : mtbdd.c
• mtcmu_bdd_ite() : mtbdd.c
• mtcmu_bdd_ite_step() : mtbdd.c
• mtcmu_bdd_one_data() : mtbdd.c
• mtcmu_bdd_substitute() : mtbdd.c
• Mtr_AllocNode() : mtrBasic.c , mtr.h
• Mtr_CopyTree() : mtr.h , mtrBasic.c
• Mtr_CreateFirstChild() : mtr.h , mtrBasic.c
• Mtr_CreateLastChild() : mtr.h , mtrBasic.c
• Mtr_DeallocNode() : mtr.h , mtrBasic.c
• Mtr_DissolveGroup() : mtr.h , mtrGroup.c
• Mtr_FindGroup() : mtr.h , mtrGroup.c
• Mtr_FreeTree() : mtr.h , mtrBasic.c
• Mtr_InitGroupTree() : mtrGroup.c , mtr.h
• Mtr_InitTree() : mtr.h , mtrBasic.c
• Mtr_MakeFirstChild() : mtrBasic.c , mtr.h
• Mtr_MakeGroup() : mtrGroup.c , mtr.h
• Mtr_MakeLastChild() : mtrBasic.c , mtr.h
• Mtr_MakeNextSibling() : mtrBasic.c , mtr.h
• Mtr_PrintGroups() : mtrGroup.c , mtr.h
• Mtr_PrintTree() : mtr.h , mtrBasic.c
• Mtr_ReadGroups() : mtr.h , mtrGroup.c
• Mtr_SwapGroups() : mtr.h , mtrGroup.c
• mtrShiftHL() : mtrGroup.c
• mvar2bdds() : mvar2bdds.c
• mvars_extract() : mdd_cofactor.c