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 >