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

- m -

• magenta() : CaDiCaL::Terminal
• magenta_code() : CaDiCaL::Terminal
• Man() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• Map() : Gluco2::Map< K, D, H, E >, Gluco::Map< K, D, H, E >, Minisat::Map< K, D, H, E >
• map2_vector() : CaDiCaL::Mapper
• map_flush_and_shrink_lits() : CaDiCaL::Mapper
• map_idx() : CaDiCaL::Mapper
• map_lit() : CaDiCaL::Mapper
• map_vector() : CaDiCaL::Mapper
• Mapper() : CaDiCaL::Mapper
• mark() : CaDiCaL::External, CaDiCaL::Internal, Gluco2::Clause, Gluco::Clause, Minisat::Clause
• 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_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
• markApprox() : Gluco2::Solver
• markCone() : Gluco2::Solver
• marked() : CaDiCaL::Closure, CaDiCaL::External, CaDiCaL::Internal
• marked2() : CaDiCaL::Internal
• marked67() : CaDiCaL::Internal
• marked_block() : CaDiCaL::Internal
• marked_decomposed() : CaDiCaL::Internal
• marked_mu1() : CaDiCaL::Closure
• marked_mu2() : CaDiCaL::Closure
• marked_mu4() : CaDiCaL::Closure
• marked_skip() : CaDiCaL::Internal
• marked_subsume() : CaDiCaL::Internal
• markfact() : CaDiCaL::Internal
• markTill() : Gluco2::Solver
• mask_bits() : kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
• match() : CaDiCaL::File
• match_ternary_clause() : CaDiCaL::Internal
• maxActiveLit() : Gluco2::Solver
• maxSize() : Gluco2::bqueue< T >, Gluco::bqueue< T >
• maybe_add_binary_clause() : CaDiCaL::Closure
• maybe_promote_tmp_binary_clause() : CaDiCaL::Closure
• melt() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• 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
• Miaig() : Rewire::Miaig
• minimisationWithBinaryResolution() : Gluco2::Solver, Gluco::Solver
• minimize_and_shrink_block() : 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
• mkNodeData() : Gluco2::Solver
• mkVarData() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• modelValue() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• most_occurring_literal() : CaDiCaL::Internal
• move_literals_to_watch() : CaDiCaL::Internal
• 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 >
• Mspf() : Transduction::Transduction< Man, Param, lit, LitMax >
• MspfDebug() : Transduction::Transduction< Man, Param, lit, LitMax >