- s -

• scc_of : awali::dyn::scc_return_t
• SERIES : awali::dyn::context::WTypes
• shift : awali::sttc::internal::indice_filter< Container >
• shuffle : awali::sttc::rat::info< RatExpSet >
• size : awali::sttc::exp_stats_t , awali::sttc::internal::cross_sequences< Sequences > , awali::sttc::internal::zip_sequences< Sequences >
• sizer : awali::json::smart_printer_t
• src : awali::sttc::internal::possibly_labeled_transition_tuple< State, Label > , awali::sttc::internal::possibly_labeled_transition_tuple< State, empty_t > , awali::sttc::internal::tarjaner_t< Aut >::token_t , awali::sttc::internal::trans_tuple< Aut >
• star : awali::sttc::rat::info< RatExpSet >
• star_height : awali::sttc::exp_stats_t
• state_classes_ : awali::sttc::internal::are_isomorphicer< Aut1, Aut2 >
• str : awali::json::uint_or_string_t
• succ : awali::sttc::internal::mutable_automaton_impl< Context >::stored_state_t
• sum : awali::sttc::rat::info< RatExpSet >