Here is a list of all typedefs with links to the classes they belong to:

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

- 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