- m -

• MAGIC_COOKIE : calDump.c , calMem.c , memrec.c , bdddump.c
• MAGIC_COOKIE1 : calMem.c , memrec.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 : memint.h , calMem.c
• 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
• MAXSHORTINT : cuddSubsetSP.c
• mdd_and : mdd.h
• mdd_and_array : mdd.h
• mdd_and_with_limit : mdd.h
• mdd_closest_cube : mdd.h
• mdd_cofactor_minterm : mdd.h
• mdd_constant : mdd.h
• mdd_dup : mdd.h
• mdd_EMPTY : mdd.h
• 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_first_solution : mdd.h
• mdd_free : mdd.h
• 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_manager : mdd.h
• 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_init_name : mdd.h
• 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_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_multiway_and : mdd.h
• mdd_multiway_or : mdd.h
• mdd_multiway_xor : mdd.h
• 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_solution : mdd.h
• MDD_NOT : mdd.h
• mdd_not : mdd.h
• MDD_ONE : mdd.h
• mdd_one : mdd.h
• mdd_or : mdd.h
• MDD_REGULAR : mdd.h
• mdd_size : mdd.h
• mdd_size_multiple : mdd.h
• mdd_top_var_id : mdd.h
• mdd_unary_minus : mdd.h
• MDD_VERBOSE : mdd.h
• mdd_xnor : mdd.h
• mdd_xor : mdd.h
• mdd_zero : mdd.h
• MDD_ZERO : mdd.h
• mddGetVarById : mdd_util.c
• MEM_COPY : memint.h
• MEM_ZERO : memint.h
• 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
• MODULUS1 : random.c , cuddUtil.c
• MODULUS2 : cuddUtil.c , random.c
• MONITOR : mdd.h
• mtbdd_transform : bdduser.h
• MTHRESH : qsort.c
• MTR_DEFAULT : mtr.h
• MTR_FIXED : mtr.h
• MTR_INLINE : mtr.h
• MTR_MAXHIGH : mtr.h
• MTR_NEWNODE : mtr.h
• MTR_RESET : mtr.h
• MTR_SET : mtr.h
• MTR_SOFT : mtr.h
• MTR_TERMINAL : mtr.h
• MTR_TEST : mtr.h
• MTR_UNUSED : mtr.h
• MV_OOM : cuddSymmetry.c