Here is a list of all documented variables with links to the class documentation for each member:

- m -

• m_ : spot::barand< gen >
• manager : spot::cspins_iterator::cspins_iterator_param, spot::inner_callback_parameters
• map_ : spot::power_map
• mark : spot::acc_cond::acc_word, spot::enumerate_cycles::state_info
• max_game_colors : spot::synthesis_info::bench_var
• max_game_states : spot::synthesis_info::bench_var
• max_simpl_strat_edges : spot::synthesis_info::bench_var
• max_simpl_strat_states : spot::synthesis_info::bench_var
• max_strat_edges : spot::synthesis_info::bench_var
• max_strat_states : spot::synthesis_info::bench_var
• max_trans_ap : spot::synthesis_info::bench_var
• max_trans_colors : spot::synthesis_info::bench_var
• max_trans_edges : spot::synthesis_info::bench_var
• max_trans_states : spot::synthesis_info::bench_var
• MAX_TRIALS : spot::randltlgenerator
• max_var_ : spot::aig
• merge_states_min_ : spot::postprocessor
• min_n : spot::random_formula::op_proba
• minimize_lvl : spot::synthesis_info
• moore : spot::synthesis_info