Here is a list of all documented class members 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 >
• safe() : spot::emptiness_check
• safe_point : spot::aig
• safe_stash : spot::aig
• sameset() : spot::int_unionfind , spot::iterable_uf< State, StateHash, StateEqual > , spot::iterable_uf_ec< State, StateHash, StateEqual >
• sat_acc_ : spot::postprocessor
• sat_incr_steps_ : spot::postprocessor
• sat_langmap_ : spot::postprocessor
• sat_mark() : spot::acc_cond
• sat_minimize_ : spot::postprocessor
• sat_states_ : spot::postprocessor
• sat_unsat_mark() : spot::acc_cond
• satsolver() : spot::satsolver
• save_to_option_map() : spot::tl_simplifier_options
• scan() : spot::formater
• scc_and_mark_filter() : spot::scc_and_mark_filter
• scc_ap_support() : spot::scc_info
• scc_count() : spot::scc_info
• scc_filter_ : spot::postprocessor
• scc_info() : spot::scc_info
• scc_info_node() : spot::scc_info_node
• scc_max_level() : spot::acd
• scc_node : spot::scc_info
• scc_of() : spot::scc_info
• scc_succs : spot::scc_info , spot::scc_info_node
• sccof_ : spot::scc_info
• sccs : spot::ec_stats , spot::lpar13< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_bloemen< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_bloemen_ec< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_cndfs< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_deadlock< State, SuccIterator, StateHash, StateEqual, Deadlock >
• search() : spot::bfs_steps
• 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
• separate_compat() : spot::edge_separator
• separate_implying() : spot::edge_separator
• seq_t : spot::twa_word
• set() : spot::acc_cond::mark_t , spot::bitset< N > , spot::bitvect , spot::option_map , spot::printable_long_size , spot::printable_size
• set_acceptance() : spot::acc_cond , spot::twa
• set_all() : spot::bitvect
• set_buchi() : spot::twa
• set_co_buchi() : spot::twa
• set_controllable_variables() : spot::mtdfa , spot::mtdswa
• set_false_var() : spot::cubeset
• set_generalized_buchi() : spot::acc_cond , spot::twa
• set_generalized_co_buchi() : spot::acc_cond , spot::twa
• set_if_unset() : spot::option_map
• set_init_state() : spot::kripke_graph , spot::taa_tgba_labelled< label > , spot::twa_graph
• set_initial() : spot::twacube
• set_level() : spot::postprocessor , spot::translator
• set_name() : spot::backprop_graph
• set_named_prop() : spot::twa
• set_nassumptions_vars() : spot::satsolver
• set_next_latch() : spot::aig
• set_output() : spot::aig , spot::formater
• set_pref() : spot::postprocessor , spot::translator
• set_state() : spot::set_state
• set_states() : spot::ec_statistics
• set_str() : spot::option_map
• set_true_var() : spot::cubeset
• set_type() : spot::postprocessor , spot::translator
• set_univ_init_state() : spot::twa_graph
• set_winner() : spot::backprop_graph
• sets() : spot::acc_cond::mark_t
• setup() : spot::kripkecube_to_twa< State, SuccIterator, StateHash, StateEqual > , spot::lpar13< State, SuccIterator, StateHash, StateEqual > , spot::product_to_twa< State, SuccIterator, StateHash, StateEqual > , spot::random_formula::op_proba , spot::swarmed_bloemen< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_bloemen_ec< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_cndfs< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_deadlock< State, SuccIterator, StateHash, StateEqual, Deadlock >
• setup_opt() : spot::translator
• setup_proba_() : spot::random_ltl
• shared_map : spot::iterable_uf< State, StateHash, StateEqual > , spot::iterable_uf_ec< State, StateHash, StateEqual > , spot::lpar13< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_bloemen< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_bloemen_ec< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_cndfs< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_deadlock< State, SuccIterator, StateHash, StateEqual, Deadlock >
• shared_struct : spot::lpar13< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_bloemen< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_bloemen_ec< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_cndfs< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_deadlock< State, SuccIterator, StateHash, StateEqual, Deadlock >
• shift_action : spot::twa_graph
• simple_ltl_translator() : spot::simple_ltl_translator
• simplified_formula() : spot::realizability_simplifier
• simplify() : spot::ltlf_simplifier , spot::realizability_simplifier_base , spot::tl_simplifier , spot::twa_word
• simplify_mark() : spot::mark_tools
• simplify_terms : spot::ltlf_synthesis_options
• simul_ : spot::postprocessor
• simul_max_ : spot::postprocessor
• simul_method_ : spot::postprocessor
• simul_trans_pruning_ : spot::postprocessor
• sinks_as_constants() : spot::mtdswa
• sinks_as_states() : spot::mtdswa
• size : spot::acc_cond::acc_word , spot::bitvect , spot::bitvect_array , spot::cspins_state_manager , spot::cubeset , spot::fnode , spot::formula , spot::scc_stack , spot::state_unicity_table
• sm_ : spot::enumerate_cycles
• sn_map : spot::taa_tgba_labelled< label >
• solution : spot::satsolver
• solution_pair : spot::satsolver
• sort_edges_() : spot::digraph< State_Data, Edge_Data >
• sort_edges_of_() : spot::digraph< State_Data, Edge_Data >
• sort_edges_srcfirst_() : spot::digraph< State_Data, Edge_Data >
• sp : spot::synthesis_info
• spins_interface() : spot::spins_interface
• split_cond_() : spot::aig
• split_on_sets() : spot::scc_info
• splittype : spot::synthesis_info
• SPOT_DEF_BINOP() : spot::formula
• SPOT_DEF_BUNOP() : spot::formula
• SPOT_DEF_MULTOP() : spot::formula
• SPOT_DEF_MULTOP2() : spot::formula
• SPOT_DEF_PROP() : spot::formula
• SPOT_DEF_QUANTIFY() : spot::formula
• SPOT_DEF_UNOP() : spot::formula
• src : spot::twa_reachable_iterator_depth_first::stack_item
• src_n : spot::twa_reachable_iterator_depth_first::stack_item
• ss_vec : spot::taa_tgba
• 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
• stack_type : spot::scc_stack
• star_normal_form() : spot::tl_simplifier
• start() : spot::process_timer , spot::stopwatch , spot::timer , spot::timer_map , spot::twa_reachable_iterator , spot::twa_reachable_iterator_depth_first
• start_ : spot::stopwatch , spot::timer
• start_state() : spot::scc_and_mark_filter
• stat_printer() : spot::stat_printer
• state() : spot::cspins_iterator , spot::digraph< State_Data, Edge_Data > , spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > , spot::taa_tgba
• state_ : spot::aig
• state_acc_sets() : spot::twa_graph
• state_acceptance_mark() : spot::fair_kripke , spot::kripke
• state_based : spot::twa::prop_set
• state_based_ : spot::postprocessor
• state_condition() : spot::fair_kripke , spot::kripke_graph
• state_data() : spot::adjlist< State_Data > , spot::digraph< State_Data, Edge_Data >
• state_data_t : spot::digraph< State_Data, Edge_Data >
• state_from_int() : spot::twacube
• state_from_number() : spot::kripke_graph , spot::twa_graph
• state_info() : spot::enumerate_cycles::state_info
• state_is_accepting() : spot::twa_graph
• state_name_map_ : spot::taa_tgba_labelled< label >
• state_num : spot::kripke_graph , spot::nca_st_info , spot::twa_graph
• state_number() : spot::kripke_graph , spot::twa_graph
• state_product() : spot::state_product
• state_set : spot::taa_tgba
• state_set_vec_ : spot::taa_tgba
• state_size() : spot::ltsmin_model
• state_step() : spot::acd
• state_storage() : spot::digraph< State_Data, Edge_Data >
• state_storage_t : spot::digraph< State_Data, Edge_Data > , spot::kripke_graph
• state_to_name : spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal >
• state_to_name_t : spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal >
• state_variable_name() : spot::ltsmin_model
• state_variable_type() : spot::ltsmin_model
• state_vector : spot::digraph< State_Data, Edge_Data > , spot::kripke_graph
• states() : spot::couvreur99_check_status , spot::digraph< State_Data, Edge_Data > , spot::ec_statistics , spot::ec_stats , spot::kripke_graph , spot::lpar13< State, SuccIterator, StateHash, StateEqual > , spot::mtdfa , spot::mtdfa_stats , spot::mtdswa , spot::mtdtwa , spot::scc_info_node , spot::swarmed_bloemen< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_bloemen_ec< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_cndfs< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_deadlock< State, SuccIterator, StateHash, StateEqual, Deadlock > , spot::twa_graph , spot::twa_statistics , spot::univ_remover_state
• states_ : spot::digraph< State_Data, Edge_Data > , spot::scc_info_node , spot::univ_remover_state
• states_of() : spot::power_map , spot::scc_info
• states_on_acc_cycle_of() : spot::scc_info
• states_on_acc_cycle_of_rec() : spot::scc_info
• statistics() : spot::emptiness_check , spot::emptiness_check_result
• stats() : spot::satsolver , spot::unsigned_statistics
• stats_map : spot::unsigned_statistics
• step() : spot::acd , spot::twa_run::step , spot::zielonka_tree
• steps : spot::twa_run
• stime : spot::time_info , spot::timer
• stop() : spot::process_timer , spot::stopwatch , spot::timer , spot::timer_map
• streett() : spot::acc_cond::acc_code
• strip() : spot::acc_cond::acc_code , spot::acc_cond::mark_t , spot::acc_cond , spot::remove_ap
• strong_X() : spot::formula
• stutter_inv : spot::twa::prop_set
• sub : spot::acc_cond::acc_word
• sub_specs : spot::synthesis_info::bench_var
• subset() : spot::acc_cond::mark_t
• succ : spot::enumerate_cycles::dfs_entry , spot::inner_callback_parameters , spot::kripkecube< State, SuccIterator > , spot::kripkecube< cspins_state, cspins_iterator > , spot::scc_info , spot::scc_info_node , spot::twa , spot::twacube
• succ_ : spot::scc_info_node
• succ_as_acc_and_dest() : spot::ltl_to_tgba_fm_otf
• succ_as_bdd() : spot::ltl_to_tgba_fm_otf
• succ_as_edges() : spot::ltl_to_tgba_fm_otf
• succ_contiguous() : spot::twacube
• succ_iter() : spot::kripke_graph , spot::taa_tgba , spot::twa , spot::twa_graph , spot::twa_product , spot::twa_univ_remover
• succ_queue : spot::couvreur99_check_shy
• success : spot::mealy_like
• successor() : spot::couvreur99_check_shy::successor
• successor_iterator() : spot::adjlist< State_Data >::successor_iterator
• successor_range() : spot::adjlist< State_Data >::successor_range
• sugar_delay() : spot::formula
• sugar_equal() : spot::formula
• sugar_goto() : spot::formula
• 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
• swarmed_bloemen() : spot::swarmed_bloemen< State, SuccIterator, StateHash, StateEqual >
• swarmed_bloemen_ec() : spot::swarmed_bloemen_ec< State, SuccIterator, StateHash, StateEqual >
• swarmed_cndfs() : spot::swarmed_cndfs< State, SuccIterator, StateHash, StateEqual >
• swarmed_deadlock() : spot::swarmed_deadlock< State, SuccIterator, StateHash, StateEqual, Deadlock >
• symb_merge : spot::ltl_to_tgba_fm_otf::options
• symb_merge_ : spot::language_containment_checker
• symmetries() : spot::acc_cond::acc_code
• synt_impl : spot::tl_simplifier_options
• syntactic_implication() : spot::tl_simplifier
• syntactic_implication_neg() : spot::tl_simplifier
• sys_ : spot::kripkecube_to_twa< State, SuccIterator, StateHash, StateEqual >