- s -

• scope_listt : cpp_idt
• scope_sett : cpp_scopest
• scopest : ansi_c_parsert
• scopet : ansi_c_parsert
• score_mapt : fault_location_infot
• sectionst : osx_mach_o_readert
• seen_expressionst : letifyt
• self_typet : dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >
• set_of_cyclest : instrumentert
• shared_array_mapt : full_array_abstract_objectt
• shared_mapt : abstract_objectt
• shared_struct_mapt : full_struct_abstract_objectt
• shared_varst : concurrency_instrumentationt
• should_track_valuet : constant_propagator_ait
• side_effects_differencet : interpretert
• size_type : abstract_object_sett , expanding_vectort< T > , fixed_keys_map_wrappert< mapt > , lazy_goto_functions_mapt , numberingt< keyt, hasht > , sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT > , union_find< T, hasht > , unsigned_union_find
• smt2_identifierst : smt2_convt
• sort_storert : smt_declare_function_commandt
• sorted_viewt : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• SSA_stepst : symex_target_equationt
• stack_catcht : remove_exceptionst
• stack_caughtt : uncaught_exceptions_domaint
• stack_map_tablet : java_bytecode_parse_treet::methodt
• stack_verification_type_infot : java_bytecode_parse_treet::methodt::stack_map_table_entryt
• stackt : java_bytecode_convert_methodt , json_parsert
• state_labelt : levenshtein_automatont , nfat< T >
• state_mapt : location_sensitive_storaget , trace_automatont
• state_pairt : trace_automatont
• state_ptrt : ai_storage_baset
• statest : check_call_sequencet
• statet : ai_baset , ai_domain_factory_baset , ai_domain_factory_default_constructort< domainT > , ai_domain_factory_location_constructort< domainT > , ai_domain_factoryt< domainT > , ai_storage_baset , concurrency_aware_ait< domainT > , flow_insensitive_analysis_baset , goto_symext
• static_memberst : class_typet , java_class_typet
• static_membert : class_typet , java_class_typet
• statust : propertyt
• step_returnt : ai_history_baset
• stepst : clauset , goto_tracet
• stl_labelst : statement_list_typecheckt
• string_listt : string_containert
• string_mapt : irep_serializationt::ireps_containert
• string_rev_mapt : irep_serializationt::ireps_containert
• string_vectort : string_containert
• struct_member_idt : interpretert
• struct_valuest : interpretert
• stub_globals_by_classt : stub_global_initializer_factoryt
• SUB : arrayst , boolbvt , bv_pointers_widet , bv_pointerst , equalityt , float_approximationt
• sub_typet : guarded_range_domaint , range_domaint
• subt : non_sharing_treet< derivedt, named_subtreest > , sharing_treet< derivedt, named_subtreest > , tree_nodet< treet, named_subtreest, sharing > , union_find< T, hasht >
• subtypest : type_with_subtypest
• successorst : local_cfgt
• supert : string_refinementt
• sym_mapt : trace_automatont
• sym_range_pairt : trace_automatont
• symbol_exprt_to_car_mapt : instrument_spec_assignst
• symbol_mapt : qdimacs_coret
• symbol_table_listt : multi_namespacet
• symbolst : prop_conv_solvert , symbol_table_baset