Here is a list of all variables 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
- man : Transduction::ManUtil< Man, lit, LitMax >
- mantissa0 : IeeeDoubleStruct, IeeeNanStruct
- mantissa1 : IeeeDoubleStruct, IeeeNanStruct
- map_first_fixed : 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_
- mArea : Mpm_Uni_t_
- Mark : Abc_ZddObj_, Acb_Ntk_t_, Bac_Ntk_t_, Cba_Ntk_t_, Dsd_Node_t_, Wlc_Obj_t_
- mark : CaDiCaL::Stats, clause_t, Flow_Data_t_, Gluco2::Clause, Gluco::Clause, Minisat::Clause, satset_t
- Mark2 : Wlc_Obj_t_
- mark_levels : sat_solver2_t
- MarkA : Nwk_Obj_t_
- MarkB : Nwk_Obj_t_
- MarkC : Nwk_Obj_t_
- marked : CaDiCaL::Eliminator, CaDiCaL::Gate, CaDiCaL::Last, gate, limits
- marked_failed : CaDiCaL::Internal
- marked_signed : CaDiCaL::Flags
- MarkN : Fxch_Obj_t_
- MarkP : Fxch_Obj_t_
- marks : CaDiCaL::Closure, CaDiCaL::Internal, cadical_kitten, kissat, kitten, saucy, solver_t_
- Mask : Ivy_Eva_t_, Ivy_Eval_t_, Tab_Man_t_
- MaskPage : Lf_Mem_t_
- match : saucy
- match_available : internal_state
- match_length : internal_state
- match_start : internal_state
- 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
- 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_
- mEdge : Mpm_Uni_t_
- Mem : sat_solver2_t, sat_solver3_t, sat_solver_t
- MemFree : Cec_ManSim_t_, Raig_Man_t_
- merges : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
- method : internal_state
- 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
- minimize : kissat
- minimize_chain : CaDiCaL::Internal
- 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_
- 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_
- 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
- modified : avl_tree_struct
- moltentab : CaDiCaL::External
- moved : CaDiCaL::Clause
- msg : gz_state, z_stream_s
- 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
