- s -
- scope_listt
: cpp_idt
- scope_sett
: cpp_scopest
- scopest
: ansi_c_parsert
- scopet
: ansi_c_parsert
- seen_expressionst
: smt2_convt
- self_type
: sharing_mapt< keyT, valueT, hashT, predT >
, sharing_nodet< keyT, valueT, predT, no_sharing >
- set_of_cyclest
: instrumentert
- shared_varst
: concurrency_instrumentationt
- size_type
: sharing_mapt< keyT, valueT, hashT, predT >
, sorted_vector< K, bNoDuplicates, Pr, A >
, union_find< T >
, unsigned_union_find
- smt2_identifierst
: smt2_convt
, smt2_propt
- source_location_mapt
: basic_blockst
- SSA_stepst
: symex_target_equationt
- stack_catcht
: remove_exceptionst
- 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_mapt
: ait< domainT >
, static_analysist< T >
, trace_automatont
- state_pairt
: trace_automatont
- statest
: check_call_sequencet
- statet
: ai_baset
, concurrency_aware_ait< domainT >
, flow_insensitive_analysis_baset
, goto_symext
, path_searcht
, static_analysis_baset
- step_containert
: path_symex_historyt
- stepst
: clauset
, goto_tracet
- stept
: path_symex_statet
, path_symext
- string2array_mapt
: smt1_convt
- string_listt
: string_containert
- string_mapt
: irep_serializationt::ireps_containert
- string_rev_mapt
: irep_serializationt::ireps_containert
- string_vectort
: string_containert
- SUB
: arrayst
, boolbvt
, bv_pointerst
, bv_refinementt
, float_approximationt
- subt
: expanding_vectort< T >
, hash_numbering< T, hash_fkt >
, irept
, numbering< T >
, sharing_mapt< keyT, valueT, hashT, predT >
, sharing_nodet< keyT, valueT, predT, no_sharing >
, union_find< T >
- subtypest
: typet
- successorst
: local_cfgt
- supert
: string_refinementt
- sym_mapt
: trace_automatont
- sym_range_pairt
: trace_automatont
- symbol_mapt
: qdimacs_coret
- symbol_table_listt
: multi_namespacet
- symbolst
: prop_conv_solvert
, symbol_tablet
- system_library_mapt
: dump_ct