Here is a list of all functions, variables, defines, enums, and typedefs with links to the files they belong to:

- m -

• MAGIC_COOKIE : calDump.c , calMem.c , memrec.c , bdddump.c
• MAGIC_COOKIE1 : calMem.c , memrec.c
• main() : calBddReorderTest.c , calInt.h , testbdd.c , testcudd.c , avl_bench1.c
• make_random() : cuddGenetic.c
• MarkCacheCleanUp() : cuddGenCof.c
• MarkCacheCompare() : cuddGenCof.c
• MarkCacheHash() : cuddGenCof.c
• max : cuddSubsetHB.c
• MAX : mdd.h
• MAX_INSERT_DEPTH : calInt.h
• MAX_NUM_PAGES : calInt.h
• MAX_NUM_SEGMENTS : calInt.h
• MAX_REC_SIZE : calInt.h , bddint.h
• MAX_SEG_SIZE : calMem.c , memint.h
• MAX_SIZE : calMem.c , memint.h
• MAX_SIZE_INDEX : memint.h
• MAX_SIZEINDEX : calMem.c
• MAX_TT_VARS : calTest.c
• MAX_WORD : avl_bench1.c
• MAXGEN_RATIO : cuddAnneal.c
• MAXINT : util.h
• maxNodeDataPages : cuddSubsetHB.c
• maxNodeDistPages : cuddSubsetSP.c
• maxPages : cuddSubsetHB.c
• maxQueuePages : cuddSubsetSP.c
• MAXSHORTINT : cuddSubsetSP.c
• MDD_ACTIVE : mdd.h
• mdd_add_s() : mdd_add.c
• mdd_and : mdd.h
• mdd_and_array : mdd.h
• mdd_and_smooth() : mdd_andsmoot.c
• mdd_and_smooth_with_limit() : mdd_andsmoot.c
• mdd_and_with_limit : mdd.h
• 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_BUNDLED : mdd.h
• mdd_case() : mdd_case.c
• mdd_check_support() : mdd_util.c
• mdd_closest_cube : mdd.h
• mdd_cofactor() : mdd_cofactor.c
• mdd_cofactor_minterm : mdd.h
• mdd_consensus() : mdd_consensus.c
• mdd_constant : mdd.h
• 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_dup : mdd.h
• mdd_EMPTY : mdd.h
• mdd_encode() : mdd_case.c
• mdd_epd_count_onset() : mdd_util.c
• mdd_eq : mdd.h
• mdd_eq_c : mdd.h
• mdd_eq_g : mdd.h
• mdd_eq_minus : mdd.h
• mdd_eq_minus_c_mod : mdd.h
• mdd_eq_plus : mdd.h
• mdd_eq_plus_c : mdd.h
• mdd_eq_plus_c_mod : mdd.h
• mdd_eq_s : mdd.h
• mdd_equal : mdd.h
• mdd_equal_mod_care_set : mdd.h
• mdd_equal_mod_care_set_array() : mdd_util.c
• mdd_first_minterm() : mdd_iter.c
• mdd_first_solution : mdd.h
• mdd_fn_array_to_bdd_fn_array() : mdd_util.c
• mdd_fn_array_to_bdd_rel_array() : mdd_util.c
• mdd_free : mdd.h
• 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 : mdd.h
• mdd_gen_free() : mdd_iter.c
• mdd_geq : mdd.h
• mdd_geq_c : mdd.h
• mdd_geq_g : mdd.h
• mdd_geq_minus : mdd.h
• mdd_geq_minus_c_mod : mdd.h
• mdd_geq_plus : mdd.h
• mdd_geq_plus_c : mdd.h
• mdd_geq_plus_c_mod : mdd.h
• mdd_geq_s : mdd.h
• 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_manager : mdd.h
• 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_gt : mdd.h
• mdd_gt_c : mdd.h
• mdd_gt_g : mdd.h
• mdd_gt_minus : mdd.h
• mdd_gt_minus_c_mod : mdd.h
• mdd_gt_plus : mdd.h
• mdd_gt_plus_c : mdd.h
• mdd_gt_plus_c_mod : mdd.h
• mdd_gt_s : mdd.h
• mdd_hook : mdd.h
• mdd_hook_type : mdd.h
• 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_init_name : mdd.h
• mdd_interval() : mdd_intv.c
• mdd_is_care_bit() : mdd_ineq_s.c
• MDD_IS_COMPLEMENT : mdd.h
• mdd_is_tautology : mdd.h
• mdd_ite : mdd.h
• mdd_leq : mdd.h
• mdd_leq_c : mdd.h
• mdd_leq_g : mdd.h
• mdd_leq_minus : mdd.h
• mdd_leq_minus_c_mod : mdd.h
• mdd_leq_plus : mdd.h
• mdd_leq_plus_c : mdd.h
• mdd_leq_plus_c_mod : mdd.h
• mdd_leq_s : mdd.h
• mdd_lequal : mdd.h
• mdd_lequal_array : mdd.h
• mdd_lequal_mod_care_set : mdd.h
• mdd_lequal_mod_care_set_array() : mdd_util.c
• mdd_literal() : mdd_literal.c
• mdd_lt : mdd.h
• mdd_lt_c : mdd.h
• mdd_lt_g : mdd.h
• mdd_lt_minus : mdd.h
• mdd_lt_minus_c_mod : mdd.h
• mdd_lt_plus : mdd.h
• mdd_lt_plus_c : mdd.h
• mdd_lt_plus_c_mod : mdd.h
• mdd_lt_s : mdd.h
• mdd_manager : mdd.h
• mdd_mark() : mdd_util.c
• mdd_mod() : mdd_mod.c
• mdd_multiway_and : mdd.h
• mdd_multiway_or : mdd.h
• mdd_multiway_xor : mdd.h
• mdd_name_variables() : mdd_init.c
• mdd_neq : mdd.h
• mdd_neq_c : mdd.h
• mdd_neq_g : mdd.h
• mdd_neq_minus : mdd.h
• mdd_neq_minus_c_mod : mdd.h
• mdd_neq_plus : mdd.h
• mdd_neq_plus_c : mdd.h
• mdd_neq_plus_c_mod : mdd.h
• mdd_neq_s : mdd.h
• mdd_next_minterm() : mdd_iter.c
• mdd_next_solution : mdd.h
• MDD_NOT : mdd.h
• mdd_not : mdd.h
• mdd_one : mdd.h
• MDD_ONE : mdd.h
• mdd_onset_bdd() : mdd_util.c
• mdd_or : mdd.h
• 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_REGULAR : mdd.h
• 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_size : mdd.h
• mdd_size_multiple : mdd.h
• 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_t : mdd.h
• mdd_top_var_id : mdd.h
• mdd_traverse() : mdd_cofactor.c
• mdd_unary_minus : mdd.h
• mdd_unary_minus_s() : mdd_uminus.c
• mdd_unmark() : mdd_util.c
• mdd_var_expunge_bdd_variable() : mdd_init.c
• MDD_VERBOSE : mdd.h
• mdd_xnor : mdd.h
• mdd_xor : mdd.h
• mdd_zero : mdd.h
• MDD_ZERO : mdd.h
• mddFreeBddArr() : mdd_util.c
• mddGetVarById : mdd_util.c
• mddIntRetOnvalBdd() : mdd_util.c
• mddRetOnvalBdd() : mdd_util.c
• mem_allocation() : memblock.c
• mem_copy() : memblock.c
• MEM_COPY : memint.h
• 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 : memint.h
• mem_zero() : memblock.c
• memOut : cuddSubsetHB.c , cuddSubsetSP.c
• merge_and_free() : memblock.c
• MergeAndFree() : calMem.c
• MIN : mdd.h
• MIN_ALLOC_SIZE_INDEX : memint.h
• MIN_ALLOC_SIZEINDEX : calMem.c
• MIN_GC_LIMIT : bddunique.c
• MIN_NUM_PAGES_PER_SEGMENT : calInt.h
• MIN_REC_SIZE : calInt.h , bddint.h
• mintermPages : cuddSubsetHB.c
• mintermsFromUniverse() : cuddSplit.c
• MMalloc() : safe_mem.c
• MMfree() : safe_mem.c
• MMout_of_memory() : safe_mem.c
• MMoutOfMemory : safe_mem.c
• MMrealloc() : safe_mem.c
• mod_block_build() : mdd_mod.c
• MODULUS1 : random.c , cuddUtil.c
• MODULUS2 : random.c , cuddUtil.c
• MONITOR : mdd.h
• month : com_graph.c
• mtbdd_add() : testbdd.c
• mtbdd_add_step() : testbdd.c
• mtbdd_mult() : testbdd.c
• mtbdd_mult_step() : testbdd.c
• mtbdd_transform : bdduser.h
• 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
• MTHRESH : qsort.c
• mthresh : qsort.c
• Mtr_AllocNode() : mtrBasic.c , mtr.h
• Mtr_CopyTree() : mtrBasic.c , mtr.h
• Mtr_CreateFirstChild() : mtr.h , mtrBasic.c
• Mtr_CreateLastChild() : mtrBasic.c , mtr.h
• Mtr_DeallocNode() : mtr.h , mtrBasic.c
• MTR_DEFAULT : mtr.h
• Mtr_DissolveGroup() : mtrGroup.c , mtr.h
• Mtr_FindGroup() : mtrGroup.c , mtr.h
• MTR_FIXED : mtr.h
• Mtr_FreeTree() : mtr.h , mtrBasic.c
• Mtr_InitGroupTree() : mtrGroup.c , mtr.h
• Mtr_InitTree() : mtrBasic.c , mtr.h
• MTR_INLINE : mtr.h
• Mtr_MakeFirstChild() : mtrBasic.c , mtr.h
• Mtr_MakeGroup() : mtr.h , mtrGroup.c
• Mtr_MakeLastChild() : mtr.h , mtrBasic.c
• Mtr_MakeNextSibling() : mtr.h , mtrBasic.c
• MTR_MAXHIGH : mtr.h
• MTR_NEWNODE : mtr.h
• Mtr_PrintGroups() : mtrGroup.c , mtr.h
• Mtr_PrintTree() : mtrBasic.c , mtr.h
• Mtr_ReadGroups() : mtrGroup.c , mtr.h
• MTR_RESET : mtr.h
• MTR_SET : mtr.h
• MTR_SOFT : mtr.h
• Mtr_SwapGroups() : mtrGroup.c , mtr.h
• MTR_TERMINAL : mtr.h
• MTR_TEST : mtr.h
• MTR_UNUSED : mtr.h , mtrGroup.c , mtrBasic.c
• MtrHalfWord : mtr.h
• mtrShiftHL() : mtrGroup.c
• MV_OOM : cuddSymmetry.c
• mvar2bdds() : mvar2bdds.c
• mvar_status : mdd.h
• mvar_type : mdd.h
• mvars_extract() : mdd_cofactor.c