- m -

• make_derivation() : smtrat::cadcells::datastructures
• make_sampled_derivation() : smtrat::cadcells::datastructures
• makeConstraint() : smtrat::parser::arithmetic
• max_coefficient() : smtrat::mcsat::variableordering::detail
• max_degree() : smtrat::cadcells::representation::util , smtrat::mcsat::variableordering::detail
• max_lcoeff_total_degree() : smtrat::mcsat::variableordering::detail
• max_level() : smtrat::covering_ng::formula::complexity::features
• max_max_total_degree() : smtrat::covering_ng::formula::complexity::features
• max_term_total_degree() : smtrat::mcsat::variableordering::detail
• mediant() : smtrat::cadcells::representation::approximation
• merge() : smtrat::cadcells::datastructures , smtrat::covering_ng::formula::formula_ds
• merge_reason() : smtrat::covering_ng::formula::formula_ds
• merge_reasons() : smtrat::covering_ng::formula::formula_ds
• merge_underlying() : smtrat::cadcells::datastructures
• mergeCellWithPoly() : smtrat::onecellcad::recursive
• min_level_min_size() : smtrat::covering_ng::formula::complexity
• min_level_min_sotd() : smtrat::covering_ng::formula::complexity
• min_max_tdeg_min_size() : smtrat::covering_ng::formula::complexity
• min_size() : smtrat::covering_ng::formula::complexity
• min_sotd() : smtrat::covering_ng::formula::complexity
• min_tdeg() : smtrat::covering_ng::formula::complexity
• min_vars_min_sotd() : smtrat::covering_ng::formula::complexity
• mkLit() : Minisat
• mod() : smtrat::lra