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

- s -

• shared_localst : rw_sett
• size_type : array
• smt_cachet : smt_solver_baset
• smt_sort_cachet : smt_solver_baset
• solver_ast_type : solver_smt_ast< solver_ast >
• SSA_stepst : symex_target_equationt
• state_mapt : ait< domainT >, static_analysist< T >
• statet : ai_baset, goto_symext, static_analysis_baset
• step_localt : transition_systemt
• stepst : goto_tracet
• string_mapt : irep_serializationt::ireps_containert
• string_rev_mapt : irep_serializationt::ireps_containert
• subt : irept, union_find< T >
• subtype_delegate : type2t
• subtypest : typet
• switch_table : clang_cpp_convertert
• symbol_tablet : smtlib_convt