- s -

• safe() : spot::emptiness_check
• satsolver() : spot::satsolver
• scan() : spot::formater
• scc_and_mark_filter() : spot::scc_and_mark_filter
• scc_info() : spot::scc_info
• search() : spot::bfs_steps
• separate_compat() : spot::edge_separator
• separate_implying() : spot::edge_separator
• set() : spot::option_map
• set_acceptance() : spot::acc_cond, spot::twa
• set_buchi() : spot::twa
• set_co_buchi() : spot::twa
• set_debug_level() : hoayy::parser, tlyy::parser
• set_debug_stream() : hoayy::parser, tlyy::parser
• 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_initial() : spot::twacube
• set_level() : spot::postprocessor
• 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
• set_str() : spot::option_map
• set_true_var() : spot::cubeset
• set_type() : spot::postprocessor
• sets() : spot::acc_cond::mark_t
• simplified_formula() : spot::realizability_simplifier
• simplify() : spot::tl_simplifier, spot::twa_word
• size() : spot::bitvect_array, spot::cspins_state_manager, spot::cubeset, spot::fnode, spot::formula, spot::scc_stack, spot::scc_stack_ta
• 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 >
• split_cond_() : spot::aig
• split_on_sets() : spot::scc_info
• Star() : spot::formula
• star_normal_form() : spot::tl_simplifier
• start() : spot::stopwatch, spot::ta_reachable_iterator, spot::timer, spot::timer_map, spot::twa_reachable_iterator, spot::twa_reachable_iterator_depth_first
• state_acc_sets() : spot::twa_graph
• state_acceptance_mark() : spot::fair_kripke, spot::kripke
• state_condition() : spot::fair_kripke, spot::kripke_graph
• state_data() : spot::digraph< State_Data, Edge_Data >
• state_from_int() : spot::twacube
• state_is_accepting() : spot::twa_graph
• state_product() : spot::state_product
• state_size() : spot::ltsmin_model
• state_step() : spot::acd
• state_storage() : spot::digraph< State_Data, Edge_Data >
• state_ta_product() : spot::state_ta_product
• state_variable_name() : spot::ltsmin_model
• state_variable_type() : spot::ltsmin_model
• states() : spot::couvreur99_check_status, spot::digraph< State_Data, Edge_Data >
• 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
• step() : spot::acd, spot::zielonka_tree
• step_() : spot::ta_succ_iterator_product
• stime() : spot::timer
• stop() : spot::stopwatch, spot::timer, spot::timer_map
• streett() : spot::acc_cond::acc_code
• strip() : spot::acc_cond::acc_code, spot::acc_cond
• subset() : spot::acc_cond::mark_t
• succ() : spot::kripkecube< State, SuccIterator >, spot::twa
• succ_contiguous() : spot::twacube
• succ_iter() : spot::kripke_graph, spot::ta, spot::ta_explicit, spot::ta_product, spot::taa_tgba, spot::tgta_explicit, spot::tgta_product, spot::twa, spot::twa_graph, spot::twa_product
• succ_iter_by_changeset() : spot::tgta, spot::tgta_explicit
• sugar_delay() : spot::formula
• sugar_equal() : spot::formula
• sugar_goto() : spot::formula
• swap() : tlyy::parser::value_type
• symbol_name() : hoayy::parser, tlyy::parser
• symbol_type() : tlyy::parser::symbol_type
• symmetries() : spot::acc_cond::acc_code
• syntactic_implication() : spot::tl_simplifier
• syntactic_implication_neg() : spot::tl_simplifier