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

- s -

• s : spot::couvreur99_check_shy::successor, spot::couvreur99_check_shy::todo_item, spot::cspins_iterator::cspins_iterator_param, spot::enumerate_cycles::dfs_entry, spot::kripkecube_to_twa< State, SuccIterator, StateHash, StateEqual >::todo__element, spot::scc_stack, spot::synthesis_info, spot::twa_run::step
• s_ : spot::barand< gen >
• sat_acc_ : spot::postprocessor
• sat_incr_steps_ : spot::postprocessor
• sat_langmap_ : spot::postprocessor
• sat_minimize_ : spot::postprocessor
• sat_states_ : spot::postprocessor
• scc_filter_ : spot::postprocessor
• sccof_ : spot::scc_info
• sccs : spot::ec_stats
• search_ex : spot::to_parity_options
• seen : spot::enumerate_cycles::state_info, spot::twa_reachable_iterator, spot::twa_reachable_iterator_depth_first
• selfloopize : spot::cspins_iterator::cspins_iterator_param, spot::inner_callback_parameters
• simplify_terms : spot::ltlf_synthesis_options
• simul_ : spot::postprocessor
• simul_max_ : spot::postprocessor
• simul_method_ : spot::postprocessor
• simul_trans_pruning_ : spot::postprocessor
• size : spot::acc_cond::acc_word
• sm_ : spot::enumerate_cycles
• sp : spot::synthesis_info
• src : spot::twa_reachable_iterator_depth_first::stack_item
• src_n : spot::twa_reachable_iterator_depth_first::stack_item
• st_ : spot::iterable_uf< State, StateHash, StateEqual >::uf_element
• st_kripke : spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element
• st_prop : spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element
• stack_ : spot::twa_reachable_iterator_depth_first_stack
• start_ : spot::stopwatch, spot::timer
• state_ : spot::aig
• state_based : spot::twa::prop_set
• state_based_ : spot::postprocessor
• state_name_map_ : spot::taa_tgba_labelled< label >
• state_num : spot::nca_st_info
• state_set_vec_ : spot::taa_tgba
• state_to_name : spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal >
• states : spot::ec_stats, spot::mtdfa, spot::mtdfa_stats, spot::mtdswa, spot::mtdtwa, spot::twa_statistics
• states_ : spot::digraph< State_Data, Edge_Data >, spot::scc_info_node, spot::univ_remover_state
• stats : spot::unsigned_statistics
• stime : spot::time_info
• stutter_inv : spot::twa::prop_set
• sub : spot::acc_cond::acc_word
• sub_specs : spot::synthesis_info::bench_var
• succ : spot::enumerate_cycles::dfs_entry, spot::inner_callback_parameters
• succ_ : spot::scc_info_node
• success : spot::mealy_like
• sum_paritize_time : spot::synthesis_info::bench_var
• sum_simpl_strat_edges : spot::synthesis_info::bench_var
• sum_simpl_strat_states : spot::synthesis_info::bench_var
• sum_simplify_strat_time : spot::synthesis_info::bench_var
• sum_solve_time : spot::synthesis_info::bench_var
• sum_split_time : spot::synthesis_info::bench_var
• sum_strat2aut_time : spot::synthesis_info::bench_var
• sum_strat_edges : spot::synthesis_info::bench_var
• sum_strat_states : spot::synthesis_info::bench_var
• sum_trans_time : spot::synthesis_info::bench_var
• symb_merge : spot::ltl_to_tgba_fm_otf::options
• symb_merge_ : spot::language_containment_checker
• synt_impl : spot::tl_simplifier_options
• sys_ : spot::kripkecube_to_twa< State, SuccIterator, StateHash, StateEqual >