Here is a list of all class members with links to the classes they belong to:

- m -

• M : Map_CutStruct_t_, Nf_Obj_t_
• m_area : Partition
• m_bounds : Partition
• m_data : ConcreteCell, ConcreteNet
• m_done : Partition
• m_fixed : ConcreteCell
• m_height : AbstractCell
• m_id : ConcreteCell, ConcreteNet
• m_label : AbstractCell, ConcreteCell
• m_leaf : Partition
• m_level : Partition
• m_members : Partition
• m_numMembers : Partition
• m_numTerms : ConcreteNet
• m_pad : AbstractCell
• m_parent : ConcreteCell
• m_sub1 : Partition
• m_sub2 : Partition
• m_terms : ConcreteNet
• m_vertical : Partition
• m_weight : ConcreteNet
• m_width : AbstractCell
• m_x : ConcreteCell
• m_y : ConcreteCell
• magenta() : CaDiCaL::Terminal
• magenta_code() : CaDiCaL::Terminal
• Man() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• man : Transduction::ManUtil< Man, lit, LitMax >
• mantissa0 : IeeeDoubleStruct, IeeeNanStruct
• mantissa1 : IeeeDoubleStruct, IeeeNanStruct
• Map() : Gluco2::Map< K, D, H, E >, Gluco::Map< K, D, H, E >, Minisat::Map< K, D, H, E >
• map2_vector() : CaDiCaL::Mapper
• map_first_fixed : CaDiCaL::Mapper
• map_flush_and_shrink_lits() : CaDiCaL::Mapper
• map_idx() : CaDiCaL::Mapper
• map_lit() : CaDiCaL::Mapper
• map_vector() : CaDiCaL::Mapper
• MapArea : Jf_Par_t_
• MapAreaF : Jf_Par_t_
• MapDelay : Jf_Par_t_
• MapDelayTarget : Jf_Par_t_
• MappedArea : Gia_Man_t_
• MappedDelay : Gia_Man_t_
• Mapper() : CaDiCaL::Mapper
• mArea : Mpm_Uni_t_
• Mark : Abc_ZddObj_, Acb_Ntk_t_, Bac_Ntk_t_, Cba_Ntk_t_, Dsd_Node_t_, Wlc_Obj_t_
• mark() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Stats, clause_t, Flow_Data_t_, Gluco2::Clause, Gluco::Clause, Minisat::Clause, satset_t
• Mark2 : Wlc_Obj_t_
• mark2() : CaDiCaL::Internal
• mark67() : CaDiCaL::Internal
• mark_active() : CaDiCaL::Internal
• mark_added() : CaDiCaL::Internal
• mark_as_conditional_literal() : CaDiCaL::Internal
• mark_binary_literals() : CaDiCaL::Internal
• mark_block() : CaDiCaL::Internal
• mark_clause() : CaDiCaL::Internal
• mark_clauses_to_be_flushed() : CaDiCaL::Internal
• mark_decomposed() : CaDiCaL::Internal
• mark_duplicated_binary_clauses_as_garbage() : CaDiCaL::Internal
• mark_elim() : CaDiCaL::Internal
• mark_eliminated() : CaDiCaL::Internal
• mark_eliminated_clauses_as_garbage() : CaDiCaL::Internal
• mark_factor() : CaDiCaL::Internal
• mark_fixed() : CaDiCaL::Internal
• mark_garbage() : CaDiCaL::Closure, CaDiCaL::Internal
• mark_garbage_external_forgettable() : CaDiCaL::Internal
• mark_in_candidate_clause() : CaDiCaL::Internal
• mark_incomplete() : CaDiCaL::Internal
• mark_levels : sat_solver2_t
• mark_pure() : CaDiCaL::Internal
• mark_redundant_clauses_with_eliminated_variables_as_garbage() : CaDiCaL::Internal
• mark_removed() : CaDiCaL::Internal
• mark_satisfied_clauses_as_garbage() : CaDiCaL::Internal
• mark_shrinkable_as_removable() : CaDiCaL::Internal
• mark_skip() : CaDiCaL::Internal
• mark_substituted() : CaDiCaL::Internal
• mark_subsume() : CaDiCaL::Internal
• mark_ternary() : CaDiCaL::Internal
• mark_useless_redundant_clauses_as_garbage() : CaDiCaL::Internal
• MarkA : Nwk_Obj_t_
• markApprox() : Gluco2::Solver
• MarkB : Nwk_Obj_t_
• MarkC : Nwk_Obj_t_
• markCone() : Gluco2::Solver
• marked() : CaDiCaL::Closure, CaDiCaL::Eliminator, CaDiCaL::External, CaDiCaL::Gate, CaDiCaL::Internal, CaDiCaL::Last, gate, limits
• marked2() : CaDiCaL::Internal
• marked67() : CaDiCaL::Internal
• marked_block() : CaDiCaL::Internal
• marked_decomposed() : CaDiCaL::Internal
• marked_failed : CaDiCaL::Internal
• marked_mu1() : CaDiCaL::Closure
• marked_mu2() : CaDiCaL::Closure
• marked_mu4() : CaDiCaL::Closure
• marked_signed : CaDiCaL::Flags
• marked_skip() : CaDiCaL::Internal
• marked_subsume() : CaDiCaL::Internal
• markfact() : CaDiCaL::Internal
• MarkN : Fxch_Obj_t_
• MarkP : Fxch_Obj_t_
• marks : CaDiCaL::Closure, CaDiCaL::Internal, cadical_kitten, kissat, kitten, saucy, solver_t_
• markTill() : Gluco2::Solver
• Mask : Ivy_Eva_t_, Ivy_Eval_t_, Tab_Man_t_
• mask_bits() : kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
• MaskPage : Lf_Mem_t_
• match() : CaDiCaL::File, saucy
• match_available : internal_state
• match_length : internal_state
• match_start : internal_state
• match_ternary_clause() : CaDiCaL::Internal
• matched : CaDiCaL::Quotient, quotient
• matches : CaDiCaL::Quotient, internal_state, quotient
• mAveRefs : Mpm_Uni_t_
• max_bound_completed : bounds
• max_chain : config_s
• max_chain_length : internal_state
• max_code : tree_desc_s
• max_density : st__table, stmm_table
• max_depth : stats_struct
• max_done : qps_problem
• max_enable : qps_problem
• max_free_set_vars : acd::ac_decomposition_params
• max_lazy : config_s
• max_lazy_match : internal_state
• max_learnts : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• max_length : CaDiCaL::Wrapper, static_tree_desc_s
• max_level : CaDiCaL::sort_assumptions_positive_rank
• max_literals : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• max_out_cap : SC_Pin_
• max_out_slew : SC_Pin_
• max_print_depth : stats_struct
• max_shared_vars : acd::acdXX_params
• max_used : CaDiCaL::Internal
• max_var : CaDiCaL::External, CaDiCaL::Internal
• max_x : qps_problem
• max_y : qps_problem
• maxActiveLit() : Gluco2::Solver
• MaxDelay : SC_Man_, SC_Time_
• maxDelay : MinRegMan_t_
• MaxDelay0 : SC_Man_, SC_Time_
• MaxGrowth : NewBdd::Param, rrr::NewBdd::Param
• maxJscanSolved : CbsP_Par_t_
• maxJscanUndec : CbsP_Par_t_
• MaxLoad : Abc_Frame_t_
• maxNCycles : cycleCtr
• maxNumClass : Bnd_Man_t_
• maxPropSolved : CbsP_Par_t_
• maxPropUndec : CbsP_Par_t_
• maxRscanSolved : CbsP_Par_t_
• maxRscanUndec : CbsP_Par_t_
• MaxScore : Fra_Par_t_, Ivy_FraigParams_t_
• maxSize() : Gluco2::bqueue< T >, Gluco::bqueue< T >
• maybe_add_binary_clause() : CaDiCaL::Closure
• maybe_promote_tmp_binary_clause() : CaDiCaL::Closure
• mEdge : Mpm_Uni_t_
• melt() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• Mem : sat_solver2_t, sat_solver3_t, sat_solver_t
• MemFree : Cec_ManSim_t_, Raig_Man_t_
• Merge() : Ttopt::TruthTableCare
• merge() : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• merge_and_gate_lrat_produce_lrat() : CaDiCaL::Closure
• merge_condeq() : CaDiCaL::Closure
• merge_ite_gate_same_then_else_lrat() : CaDiCaL::Closure
• merge_literals_equivalence() : CaDiCaL::Closure
• merge_literals_lrat() : CaDiCaL::Closure
• MergeCare() : Ttopt::TruthTableCare
• merges : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• method : internal_state
• Miaig() : Rewire::Miaig
• min : CaDiCaL::DFS, CaDiCaL::Phases
• min_lit_order : sat_solver2_t
• min_shared_vars : acd::acdXX_params
• min_step_order : sat_solver2_t
• mini_chain : CaDiCaL::Internal
• minimisationWithBinaryResolution() : Gluco2::Solver, Gluco::Solver
• minimize : kissat
• minimize_and_shrink_block() : CaDiCaL::Internal
• minimize_chain : CaDiCaL::Internal
• minimize_clause() : CaDiCaL::Internal
• minimize_literal() : CaDiCaL::Internal
• minimize_sort_clause() : CaDiCaL::Internal
• minimize_trail_level_positive_rank() : CaDiCaL::minimize_trail_level_positive_rank
• minimize_trail_level_smaller() : CaDiCaL::minimize_trail_level_smaller
• minimize_trail_positive_rank() : CaDiCaL::minimize_trail_positive_rank
• minimize_trail_smaller() : CaDiCaL::minimize_trail_smaller
• minimized : CaDiCaL::Internal, CaDiCaL::Stats
• minimum : CaDiCaL::Stats
• minimum_dynamic_timeout_sample_size : eSLIM::eSLIMConfig
• minimum_sat_timeout : eSLIM::eSLIMConfig
• minishrunken : CaDiCaL::Stats
• minLens : DState
• minNCycles : cycleCtr
• MintBase : Zyx_Man_t_
• mkLit : Gluco2::Lit, Gluco::Lit, Minisat::Lit
• mkNodeData() : Gluco2::Solver
• mkVarData() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• mmCuts : Fpga_ManStruct_t_, Map_ManStruct_t_
• mmEntries : Map_SuperLibStruct_t_
• mmForms : Map_SuperLibStruct_t_
• mmMan : Map_HashTableStruct_t_
• mmNodes : Fpga_ManStruct_t_, Fraig_ManStruct_t_, Map_ManStruct_t_
• mmSims : Fraig_ManStruct_t_
• mmSupers : Map_SuperLibStruct_t_
• Mnt : xFloat_t_
• Mobical : CaDiCaL::Solver
• MockPropagator : CaDiCaL::Solver
• Mode : CaDiCaL::Internal
• mode : ABC_ManagerStruct_t, CaDiCaL::Internal, enabled, eSLIM_ParamStruct_, EState, gz_state, inflate_state, kissat, limits
• model : Gluco2::Solver, Gluco::Solver, Minisat::Solver, sat_solver2_t, sat_solver3_t, sat_solver_t
• modelValue() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• modified : avl_tree_struct
• moltentab : CaDiCaL::External
• most_occurring_literal() : CaDiCaL::Internal
• move_literals_to_watch() : CaDiCaL::Internal
• moved : CaDiCaL::Clause
• moveTo() : Gluco2::ClauseAllocator, Gluco2::CMap< T >, Gluco2::Map< K, D, H, E >, Gluco2::RegionAllocator< T >, Gluco2::vec< T >, Gluco::ClauseAllocator, Gluco::CMap< T >, Gluco::Map< K, D, H, E >, Gluco::RegionAllocator< T >, Gluco::vec< T >, Minisat::ClauseAllocator, Minisat::CMap< T >, Minisat::Map< K, D, H, E >, Minisat::RegionAllocator< T >, Minisat::vec< T >
• msg : gz_state, z_stream_s
• Mspf() : Transduction::Transduction< Man, Param, lit, LitMax >
• MspfDebug() : Transduction::Transduction< Man, Param, lit, LitMax >
• mtfa : DState
• mtfbase : DState
• mtfFreq : EState
• mtfv : EState
• mTime : Mpm_Uni_t_
• mu1_ids : CaDiCaL::Closure
• mu2_ids : CaDiCaL::Closure
• mu4_ids : CaDiCaL::Closure
• Mux7 : Jf_Par_t_
• mv : cost_struct
• mv_mask : cube_struct
• MYFLAG : Gluco2::Solver, Gluco::Solver