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

- s -

• safe() : spot::emptiness_check
• sameset() : spot::int_unionfind, spot::iterable_uf< State, StateHash, StateEqual >, spot::iterable_uf_ec< State, StateHash, StateEqual >
• sat_mark() : spot::acc_cond
• 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_info() : spot::scc_info
• scc_info_node() : spot::scc_info_node
• scc_max_level() : spot::acd
• scc_of() : spot::scc_info
• sccs() : 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
• separate_compat() : spot::edge_separator
• separate_implying() : spot::edge_separator
• 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
• 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
• sinks_as_constants() : spot::mtdswa
• sinks_as_states() : spot::mtdswa
• size() : spot::bitvect, spot::bitvect_array, spot::cspins_state_manager, spot::cubeset, spot::fnode, spot::formula, spot::scc_stack, spot::state_unicity_table
• 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 >
• spins_interface() : spot::spins_interface
• split_cond_() : spot::aig
• split_on_sets() : spot::scc_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
• 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_state() : spot::scc_and_mark_filter
• stat_printer() : spot::stat_printer
• state() : spot::cspins_iterator
• 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::adjlist< State_Data >, 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_number() : spot::kripke_graph, 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_variable_name() : spot::ltsmin_model
• state_variable_type() : spot::ltsmin_model
• states() : spot::couvreur99_check_status, spot::digraph< State_Data, Edge_Data >, spot::ec_statistics, spot::kripke_graph, spot::lpar13< State, SuccIterator, StateHash, StateEqual >, 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::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
• step() : spot::acd, spot::twa_run::step, spot::zielonka_tree
• stime() : 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
• subset() : spot::acc_cond::mark_t
• succ() : spot::kripkecube< State, SuccIterator >, spot::kripkecube< cspins_state, cspins_iterator >, spot::scc_info, spot::scc_info_node, spot::twa, spot::twacube
• 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
• 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
• 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 >
• symmetries() : spot::acc_cond::acc_code
• syntactic_implication() : spot::tl_simplifier
• syntactic_implication_neg() : spot::tl_simplifier