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

- s -

• safe_to_emit_side_effecting_statement() : python_converter
• same_object2t() : same_object2t
• same_set() : unsigned_union_find
• sc_clock() : sc_clock
• sc_inout() : sc_inout< T >
• sc_module() : sc_module
• sc_signal() : sc_signal< T >
• scalar_array_element_type() : type_handler
• scalar_order() : python_converter
• scalar_storage_pointer() : python_list
• scale_split_axis_strides() : python_list
• scan() : BigInt
• scan_address_taken() : reachability_treet
• scan_array_uses() : symex_slicet
• scan_on() : BigInt
• scan_program_writes() : reachability_treet
• schedule_array_element_destructors() : goto_convertt
• schedule_execution_statet() : schedule_execution_statet
• scientific() : format_spect
• scope_assigns_divergent_literal_types() : dynamic_type_handler
• scope_guard() : dynamic_type_handler::scope_guard
• scope_of() : value_kinds
• scope_walker() : scope_walker
• select() : array_ast, array_sym_smt_ast, smt_ast, tuple_node_smt_ast, tuple_sym_smt_ast
• select_list_eq() : python_list
• select_list_extend() : python_list
• select_shallow_push() : python_list
• select_widest_type() : type_utils
• sequential_fixedpoint() : ai_baset
• set() : configt, interval_templatet< T >, irept, literalt, persistent_map< K, V, Hash >, value_sett, wrapped_interval
• set_access() : struct_union_typet::componentt
• set_anonymous() : struct_union_typet::componentt
• set_array_iface() : smt_solver_baset
• set_attribute() : symbol_id, xmlt
• set_attribute_bool() : xmlt
• set_base_name() : code_typet::argumentt, struct_union_typet::componentt
• set_base_type() : complex_typet
• set_block_assertions() : dereferencet
• set_break() : goto_convertt::targetst
• set_claims() : esbmc_parseoptionst
• set_class() : symbol_id
• set_column() : locationt
• set_component_name() : member_exprt, member_ref_exprt, union_exprt
• set_component_number() : union_exprt
• set_constant() : renaming::level2t
• set_continue() : goto_convertt::targetst
• set_converting_rhs() : python_converter
• set_cpp_type() : type_utils
• set_current_element_type() : python_converter
• set_current_func_name() : python_converter
• set_current_lhs() : python_converter
• set_data_model() : configt::ansi_ct
• set_default() : code_switch_caset, goto_convertt::targetst
• set_element_type() : element_type_registry
• set_equal() : cnf_convt, sat_iface
• set_f() : floatbv_typet
• set_file() : locationt
• set_filename() : symbol_id
• set_flushln() : messaget::statet
• set_fp_conv() : smt_solver_baset
• set_function() : locationt, symbol_id
• set_functions_to_read() : goto_binary_reader
• set_identifier() : code_typet::argumentt, symbol_exprt, symbol_typet
• set_initial_reader() : array_convt
• set_inlined() : code_typet
• set_inner() : Contractor
• set_integer_bits() : fixedbv_typet
• set_irep2_owns_arms() : clang_c_adjust
• set_is_padding() : struct_union_typet::componentt
• set_is_unnamed_bitfield() : struct_union_typet::componentt
• set_label() : code_labelt
• set_leave() : goto_convertt::targetst
• set_lhs() : jimple_expr_invoke, jimple_virtual_invoke
• set_line() : locationt
• set_location() : clang_c_convertert, Contractor, parsert
• set_lower() : interval_templatet< T >
• set_math_dispatch_classification() : function_call_cache
• set_member_name() : type_utils
• set_mentions_dunder_all() : module
• set_method_exists() : function_call_cache
• set_name() : struct_union_typet::componentt
• set_object() : symbol_id
• set_option() : optionst
• set_options() : interval_domaint
• set_original_loop_exit() : loopst
• set_original_loop_head() : loopst
• set_outer() : Contractor
• set_pointer_array_write_unresolvable() : loopst
• set_possible_class_types() : function_call_cache
• set_prefix() : symbol_id
• set_pretty_name() : struct_union_typet::componentt
• set_props_path() : ld_languaget
• set_ra_conv() : smt_solver_baset
• set_readable() : module
• set_return() : goto_convertt::targetst
• set_sign() : ieee_floatt
• set_size() : loopst
• set_sol_array_size() : solidity_convertert
• set_sol_bytesn_size() : solidity_convertert
• set_sol_dynarray_state() : solidity_convertert
• set_sol_mapping_array() : solidity_convertert
• set_sol_state_var() : solidity_convertert
• set_sol_type() : solidity_convertert
• set_statement() : codet, side_effect_exprt
• set_step_local() : transition_systemt
• set_string_builder() : string_handler
• set_target() : goto_coveraget, goto_programt::instructiont
• set_thread_start_data() : execution_statet
• set_throw() : goto_convertt::targetst
• set_thunk_name() : clang_cpp_convertert
• set_tuple_iface() : smt_solver_baset
• set_type() : symbolt
• set_unnamed_pointer_write() : loopst
• set_upper() : interval_templatet< T >
• set_value() : constant_exprt, fixedbvt, symbolt
• set_values_only() : pytest_generator
• set_verbosity_msg() : parseoptions_baset
• set_width() : bv_typet
• set_writes_through_pointer() : loopst
• setInterval() : vart
• setIntervalChanged() : vart
• setTarget() : goto_functions_algorithm
• settle_target_type() : python_converter
• setto() : cnf_iface, minisat_convt
• setUp() : unittest.TestCase
• setup_for_new_explore() : reachability_treet
• setup_main() : jimple_languaget
• setup_next_formula() : reachability_treet
• setup_vtable_struct_variables() : clang_cpp_convertert
• setValue() : jimple_constant
• sexpr() : sexpr
• shadows_user_definition() : clang_c_adjust
• shallow_array_update() : goto_symex_statet
• shift() : bitblast_convt
• shift_check() : goto_checkt
• short_name_candidates() : code_contractst
• short_output() : symex_target_equationt, symex_target_equationt::SSA_stept
• should_remove_expr() : cse_domaint
• should_skip_type_assertion() : python_typechecking
• should_treat_as_new() : solidity_convertert
• show() : symbolt
• show_parse() : clang_c_languaget, jimple_languaget, languaget, ld_languaget, python_languaget, solidity_languaget
• show_program() : bmct
• show_symbol_table() : language_uit
• show_symbol_table_plain() : language_uit
• show_symbol_table_xml_ui() : language_uit
• show_vcc() : bmct
• shrink_to_fit() : array
• side_effect_expr_function_callt() : side_effect_expr_function_callt
• side_effect_expr_nondett() : side_effect_expr_nondett
• side_effect_exprt() : side_effect_exprt
• sideeffect2t() : sideeffect2t
• sideeffect_assign2t() : sideeffect_assign2t
• sign() : literalt
• sign_extension() : wrapped_interval
• signed_divider() : bitblast_convt
• signed_multiplier() : bitblast_convt
• signedbv_type2t() : signedbv_type2t
• signedbv_typet() : signedbv_typet
• simple_slice() : simple_slice
• simplification_equivalence_checkert() : simplification_equivalence_checkert
• simplify() : abstor< constant_type >, Addtor< constant_type >, Andtor< constant_type >, Equalitytor< constant_type >, expr2t, Greaterthanequaltor< constant_type >, Greaterthantor< constant_type >, IEEE_addtor< constant_type >, IEEE_divtor< constant_type >, IEEE_equalitytor< constant_type >, IEEE_multor< constant_type >, IEEE_notequalitytor< constant_type >, IEEE_subtor< constant_type >, Impliestor< constant_type >, irep_container< T >, Isfinitetor< constant_type >, Isinftor< constant_type >, Isnantor< constant_type >, Isnormaltor< constant_type >, Lessthanequaltor< constant_type >, Lessthantor< constant_type >, Multor< constant_type >, Negator< constant_type >, Notequaltor< constant_type >, Ortor< constant_type >, Signbittor< constant_type >, Subtor< constant_type >, Xortor< constant_type >
• simplify_python_builtins() : goto_symext
• single_precision() : ieee_float_spect
• singleton() : interval_templatet< T >
• size() : array, array_typet, contextt, CspMap, element_type_registry, exception_typeidt, file_operations::file_data, guard_seq, hash_numbering< T, hash_fkt >, irep_idt, irept, numbering< T >, parse_key_buffer, path, persistent_map< K, V, Hash >, persistent_set< K, Hash >, property_verdict_tablet, table, unsigned_union_find, value_sett::object_map_dt, vector_typet
• size_flexible_array_member() : clang_c_convertert
• size_irep() : irept
• sizeof2t() : sizeof2t
• skolemize_asserted_foralls() : goto_convertt
• slice_strided_axis() : python_list
• slicer() : slicer
• smallest() : signedbv_typet, unsignedbv_typet
• smallest_expr() : signedbv_typet, unsignedbv_typet
• smanip() : smanip
• smt_ast() : smt_ast
• smt_convt() : smt_convt
• smt_post_init() : smt_solver_baset
• smt_solver_baset() : smt_solver_baset
• smt_sort() : smt_sort
• smt_tuple_node_flattener() : smt_tuple_node_flattener
• smt_tuple_sym_flattener() : smt_tuple_sym_flattener
• smtlib_convt() : smtlib_convt
• smtlib_smt_ast() : smtlib_smt_ast
• smtlib_smt_sort() : smtlib_smt_sort
• snapshot() : property_verdict_tablet
• snapshot_interval_domain() : goto_symext
• snapshot_vla_sizes() : clang_c_convertert
• solidity_convertert() : solidity_convertert
• solidity_languaget() : solidity_languaget
• solve() : andersent
• solve_bad() : ts_enginet
• solve_bound() : ts_enginet
• solve_prefix() : ts_enginet
• solver_smt_ast() : solver_smt_ast< solver_ast >
• solver_smt_sort() : solver_smt_sort< solver_sort >
• solver_text() : bitwuzla_convt, bitwuzllob_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, minisat_convt, neurosym_convt, smt_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• sort_to_string() : smtlib_convt
• source() : formatter, TOML_PARSE_ERROR_BASE
• source_path() : utf8_buffered_reader, utf8_reader< T >, utf8_reader_interface
• sources() : module
• sourcet() : symex_targett::sourcet
• south_pole() : wrapped_interval
• spanning_size() : k_path_spanning_sett
• split_submodule_imports() : parser.parser_cli.ImportResolverLike
• splits_and_condition() : goto_convertt
• sprintf_output() : goto_symext
• ssa_features() : ssa_features
• ssa_step_algorithm() : ssa_step_algorithm
• SSA_stept() : symex_target_equationt::SSA_stept
• ssplit() : wrapped_interval
• st_fb_translator() : st_fb_translator
• stack_budget_guardt() : stack_budget_guardt< Tag >
• stack_checks_enabled() : goto_symext
• stack_framet() : stack_framet
• stack_trace() : symex_target_equationt::SSA_stept
• stack_trace_payload() : symex_target_equationt::SSA_stept
• star_import_binds() : module
• start() : preprocessor.bound_method_dispatch._Dispatch, threading.Thread, threading_deadlock.Thread
• start_bmc() : bmct
• start_pattern_based_check() : pattern_checker
• state_hashing_level2t() : execution_statet::state_hashing_level2t
• statement() : irept
• statements() : preprocessor.function_value_dispatch._Dispatch
• static_analysis_baset() : static_analysis_baset
• static_analysist() : static_analysist< T >
• static_lifetime() : irept
• static_lifetime_destroy() : clang_c_maint, clang_cpp_maint
• static_lifetime_init() : clang_c_maint
• step_back() : utf8_buffered_reader
• step_next_state() : reachability_treet
• store_interval() : ir_ieee_convt
• store_nan_pred() : ir_ieee_convt
• store_neg_zero_pred() : ir_ieee_convt
• store_replaces_element() : python_list
• store_update_dyn_array() : solidity_convertert
• str() : path
• stream() : formatter
• strided_basic_view_declines() : python_list
• strided_index_offset() : python_list
• string_builder() : string_builder
• string_constantt() : string_constantt
• string_handler() : string_handler
• string_length() : goto_symext
• string_pool() : string_pool
• strip_ctor_self_parameters() : function_call_expr
• strip_pep515_underscores() : type_utils
• struct_exprt() : struct_exprt
• struct_op() : member_exprt
• struct_type2t() : struct_type2t
• struct_typet() : struct_typet
• struct_union_typet() : struct_union_typet
• submodules() : module
• subobject_destructors() : clang_cpp_convertert
• subpath() : path
• subscript() : numpy_nditer
• subscripts_name() : preprocessor.ast_utils_mixin.AstUtilsMixin
• subtract() : exprt
• subtype() : typet
• subtypes() : typet
• succeeded() : parse_result
• successful_trace() : bmct
• successor() : static_analysis_baset
• suffix() : guard_seq
• sum() : exprt
• summarise_call() : goto_loopst
• summarize_pure_call() : goto_convertt
• supports_assumptions() : bitwuzla_convt, boolector_convt, cvc5_convt, smt_convt, smt_solver_baset, yices_convt, z3_convt
• swap() : BigInt, contextt, goto_functionst, goto_programt::instructiont, goto_programt, guard2tc, irep_container< T >, irep_idt, irept::dt, irept, literalt, symbolt, unsigned_union_find, xmlt
• switch_away_from_monitor() : execution_statet
• switch_to_monitor() : execution_statet
• switch_to_next_execution_state() : reachability_treet
• switch_to_thread() : execution_statet
• symbol() : code_deadt
• symbol2t() : symbol2t
• symbol_exprt() : symbol_exprt
• symbol_generator() : symbol_generator
• symbol_id() : symbol_id
• symbol_serializationt() : symbol_serializationt
• symbol_table() : python_converter
• symbol_type2t() : symbol_type2t
• symbol_typet() : symbol_typet
• symbolic() : python_list::strided_axis
• symbolic_view_operand() : python_list
• symbolt() : symbolt
• symex_alloca() : goto_symext
• symex_asprintf_buffer() : goto_symext
• symex_assert() : goto_symext
• symex_assign() : execution_statet, goto_symext
• symex_assign_array() : goto_symext
• symex_assign_array_structure() : goto_symext
• symex_assign_bitfield() : goto_symext
• symex_assign_byte_extract() : goto_symext
• symex_assign_concat() : goto_symext
• symex_assign_extract() : goto_symext
• symex_assign_if() : goto_symext
• symex_assign_member() : goto_symext
• symex_assign_rec() : goto_symext
• symex_assign_structure() : goto_symext
• symex_assign_symbol() : goto_symext
• symex_assign_typecast() : goto_symext
• symex_assign_union() : goto_symext
• symex_assume() : goto_symext
• symex_bounded_math() : goto_symext
• symex_cpp_delete() : goto_symext
• symex_cpp_new() : goto_symext
• symex_dead() : goto_symext
• symex_decl() : goto_symext
• symex_dereference_statet() : symex_dereference_statet
• symex_end_function() : execution_statet
• symex_end_of_function() : goto_symext
• symex_free() : goto_symext
• symex_function_call() : goto_symext
• symex_function_call_code() : goto_symext
• symex_function_call_deref() : goto_symext
• symex_goto() : execution_statet, goto_symext
• symex_input() : goto_symext
• symex_malloc() : goto_symext
• symex_mem() : goto_symext
• symex_mem_inf() : goto_symext
• symex_other() : goto_symext
• symex_printf() : execution_statet, goto_symext
• symex_realloc() : goto_symext
• symex_resultt() : goto_symext::symex_resultt
• symex_return() : goto_symext
• symex_slicet() : symex_slicet
• symex_sprintf_store() : goto_symext
• symex_step() : execution_statet, goto_symext
• symex_target_equationt() : symex_target_equationt
• symex_uninterpreted_function() : goto_symext
• symex_va_arg() : goto_symext
• symex_witness_assert() : goto_symext
• symex_witness_branching() : goto_symext
• symex_witness_function_enter() : goto_symext
• symex_witness_function_return() : goto_symext
• symmetry_breakingt() : symmetry_breakingt
• symtab_entryt() : symtab_entryt
• symvalue() : irept
• synthesize_cprover_additions() : esbmc_parseoptionst