Here is a list of all documented namespace members with links to the namespaces they belong to:
- s -
- sat_minimize()
: spot
- satone_to_cube()
: spot
- sbacc()
: spot
- scc_filter()
: spot
- scc_filter_states()
: spot
- scc_filter_susp()
: spot
- scc_has_rejecting_cycle()
: spot
- scc_info_options
: spot
- se05()
: spot
- semidet_sccs()
: spot
- separate_sets_here()
: spot
- set_state_player()
: spot
- set_state_players()
: spot
- set_state_winner()
: spot
- set_state_winners()
: spot
- set_strategy()
: spot
- set_synthesis_outputs()
: spot
- shared_state_set
: spot
- simplify_acceptance()
: spot
- simplify_acceptance_here()
: spot
- simulation()
: spot
- sl()
: spot
- sl2()
: spot
- sl2_inplace()
: spot
- solve_game()
: spot
- solve_parity_game()
: spot
- solve_safety_game()
: spot
- solved_game_to_separated_mealy()
: spot
- split_2step()
: spot
- split_edges()
: spot
- split_independant_formulas()
: spot
- split_separated_mealy()
: spot
- split_separated_mealy_here()
: spot
- SPOT_DEPRECATED()
: spot
- srand()
: spot
- star_normal_form()
: spot
- star_normal_form_bounded()
: spot
- state_map
: spot
- state_set
: spot
- stats_reachable()
: spot
- str_latex_psl()
: spot
- str_latex_sere()
: spot
- str_lbt_ltl()
: spot
- str_psl()
: spot
- str_sclatex_psl()
: spot
- str_sclatex_sere()
: spot
- str_sere()
: spot
- str_spin_ltl()
: spot
- str_utf8_psl()
: spot
- str_utf8_sere()
: spot
- str_wring_ltl()
: spot
- streett_to_generalized_buchi()
: spot
- streett_to_generalized_buchi_maybe()
: spot
- string_hash
: spot
- strip_acceptance_here()
: spot
- stutter_invariant_letters()
: spot
- stutter_invariant_states()
: spot
- sub_stats_reachable()
: spot
- sum()
: spot
- sum_and()
: spot