- m -

• M() : spot::formula
• mafins() : spot::acc_cond::acc_code, spot::acc_cond
• map() : spot::formula
• mark() : spot::acc_cond
• mark_concat_ops() : spot::mark_tools
• mark_t() : spot::acc_cond::mark_t
• marks() : spot::scc_info
• match() : spot::bfs_steps
• max() : spot::fnode, spot::formula
• max_accsets() : spot::acc_cond::mark_t
• max_set() : spot::acc_cond::mark_t
• max_sets() : spot::emptiness_check_instantiator
• max_var() : spot::aig
• maybe_accepting() : spot::acc_cond::acc_code, spot::acc_cond
• merge_edges() : spot::twa_graph
• merge_mapping() : spot::realizability_simplifier
• merge_states() : spot::twa_graph
• merge_states_of() : spot::twa_graph
• merge_univ_dests() : spot::twa_graph
• min() : spot::fnode, spot::formula
• min_set() : spot::acc_cond::mark_t
• min_sets() : spot::emptiness_check_instantiator
• minato_isop() : spot::minato_isop
• missing() : spot::acc_cond::acc_code
• mone() : spot::bitset< N >
• move() : hoayy::parser::basic_symbol< Base >, hoayy::parser::by_kind, tlyy::parser::basic_symbol< Base >, tlyy::parser::by_kind, tlyy::parser::value_type
• multiple_size_pool() : spot::multiple_size_pool
• multop() : spot::fnode, spot::formula