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

- r -

• raise_divmod_type_error() : python_math
• raise_on_unordered_tie() : python_converter
• rank_floating() : c_typecastt
• rank_integer() : c_typecastt
• re_root() : unsigned_union_find
• reachability_treet() : reachability_treet
• read() : c_qualifierst, file_operations::filesystemt, io.StringIO, irept, parsert, sc_inout< T >, sc_signal< T >
• read_check_sat_response() : smtlib_convt
• read_goto_binary() : esbmc_parseoptionst, goto_binary_reader
• read_goto_binary_array() : goto_binary_reader
• read_invariants() : yaml_parser
• read_item() : numpy_nditer
• read_long() : irep_serializationt
• read_mem_spec() : esbmc_parseoptionst
• read_next() : utf8_buffered_reader, utf8_reader< T >, utf8_reader_interface
• read_rec() : rw_sett
• read_reference() : cbmc_irep_readert
• read_string() : cbmc_irep_readert, irep_serializationt
• read_string_ref() : cbmc_irep_readert, irep_serializationt
• read_struct_value() : python_dict_handler
• read_tagged_str_receiver() : string_handler
• read_time_spec() : esbmc_parseoptionst
• read_word() : cbmc_irep_readert
• read_write_rec() : rw_sett
• readable() : file_operations::filesystemt, module
• reads_value_as_tagged() : python_dict_handler
• real_tabs_in_strings_allowed() : formatter
• reconstruct_symbolic_expression() : symex_target_equationt, symex_targett
• record() : element_type_registry, proof_cachet, property_verdict_tablet
• record_access_key() : execution_statet
• record_aggregate_held_target() : execution_statet
• record_copy_definition() : goto_symext
• record_element_store() : python_list
• record_exception_unwind() : goto_convertt
• record_flattened_pointer() : smt_solver_baset
• record_frame_alloca() : goto_symext
• record_guard_definition() : goto_symext
• record_parked_path() : execution_statet, goto_symext
• record_property_verdict() : goto_symext
• record_write() : goto_loopst::function_summaryt
• recorded_elem_types() : python_list
• recorded_tuple_value_type() : python_dict_handler
• recover_va_list_args() : goto_symext
• reduce_view_argextreme() : python_list
• reduce_view_extreme() : python_list
• reduce_view_truth() : python_list
• reference() : irept
• reference_convert() : irep_serializationt
• reference_typet() : reference_typet
• refuse() : preprocessor.check_type_lowering._Lowering
• refuse_float_tag_operation() : dynamic_type_handler
• refuse_other_use() : preprocessor.check_type_lowering._CallSites
• refuse_tagged_argument() : dynamic_type_handler
• refuse_use() : preprocessor.check_type_lowering._Lowering
• register_bundled() : clang_c_languaget, python_languaget
• register_chain() : exception_typeidt
• register_harness_main() : solidity_convertert
• register_strided_view() : python_list
• reject_mixed_member_element_read() : python_list
• reject_unresolved_element_read() : python_list
• reject_unsupported_threading_usage() : parser.parser_cli.ThreadingLoweringLike
• reject_untyped_isinstance() : goto_symext
• release() : threading.Lock, threading_deadlock.Lock
• release_symex_caches() : goto_symext
• remove() : irept, renaming::level1t, renaming::level2t, renaming::renaming_levelt
• remove_assignment() : goto_convertt
• remove_comma_operand() : goto_convertt
• remove_condition_sideeffects() : goto_convertt
• remove_cpp_delete() : goto_convertt
• remove_cpp_new() : goto_convertt
• remove_function_call() : goto_convertt
• remove_gcc_conditional_expression() : goto_convertt
• remove_hash_collision_entry() : reachability_treet
• remove_inactive_clauses() : code_contractst
• remove_initializer_sideeffects() : goto_convertt
• remove_member_name() : irept, type_utils
• remove_operand_sideeffects() : goto_convertt
• remove_post() : goto_convertt
• remove_pre() : goto_convertt
• remove_quotes() : type_utils
• remove_ref() : irept
• remove_return_value_sideeffects() : goto_convertt
• remove_sideeffect() : goto_coverage_rm
• remove_sideeffects() : goto_convertt
• remove_sideeffects_for_quantifier_body() : goto_convertt
• remove_statement_expression() : goto_convertt
• remove_temporary_object() : goto_convertt
• rename() : dereference_callbackt, execution_statet::ex_state_level2t, goto_symex_statet, renaming::level1t, renaming::level2t, renaming::renaming_levelt, symex_dereference_statet
• rename_address() : goto_symex_statet
• rename_array_sizes() : goto_symex_statet
• rename_exprs() : goto_convert_functionst
• rename_quantified() : goto_symex_statet
• rename_to_record() : renaming::level2t
• rename_type() : goto_symex_statet
• rename_types() : goto_convert_functionst
• renumber() : symex_target_equationt, symex_targett
• renumber_symbol_address() : smt_convt, smt_solver_baset
• reorder_arguments() : solidity_convertert
• reorder_symbol_to_back() : contextt
• replace() : array, element_type_registry, replace_symbolt
• replace_all_asserts_to_assume() : goto_coveraget
• replace_all_asserts_to_guard() : goto_coveraget
• replace_assert_to_assume() : goto_coveraget
• replace_assert_to_guard() : goto_coveraget
• replace_calls() : code_contractst
• replace_dynamic_allocation() : goto_symext
• replace_dynamic_size() : goto_symext
• replace_filtered_genexp_arg() : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin
• replace_in_lvalue() : goto_cse
• replace_max_sub_expr() : goto_cse
• replace_new_object() : goto_convertt
• replace_nondet() : goto_symext
• replace_old_with_snapshots() : frame_enforcert
• replace_races_check() : goto_symext
• replace_rec() : symex_target_equationt
• replace_return() : goto_inlinet
• replace_symbolt() : replace_symbolt
• replace_valid_object() : goto_symext
• report_counterexample() : ts_enginet
• report_coverage_verbose() : bmct
• report_failure() : bmct
• report_multi_property_trace() : bmct
• report_reduction_stats() : reachability_treet
• report_result() : bmct
• report_success() : bmct
• report_trace() : bmct
• report_unknown() : bmct
• report_unsupported_init_list() : clang_c_convertert
• report_violation() : bmct
• require_stored_types() : python_list
• reserve() : array
• reserve_operands() : exprt
• reset() : irep_container< T >, reachability_treet::scheduler_framet
• reset_auxiliary_vars() : solidity_convertert
• reset_dynamic_counter() : execution_statet
• reset_object_counter() : dereferencet
• reset_state() : parser.parser_cli.ImportResolverLike
• reset_to_unexplored_state() : reachability_treet
• reshape_registered_copy() : python_list
• resize() : array, unsigned_union_find
• resolve_builtin_alias() : type_handler
• resolve_by_value_set() : goto_symext
• resolve_dict_subscript_types() : python_dict_handler
• resolve_dynamic_size_by_value_set() : goto_symext
• resolve_expected_type_for_dict_subscript() : python_dict_handler
• resolve_indirect_calls() : andersent
• resolve_module_file() : parser.json_emitter.ImportResolverLike
• resolve_pointer_target() : execution_statet
• resolve_python_effective_type() : goto_checkt
• resolve_read() : dynamic_type_handler
• resolve_source() : python_adjust
• resolve_valid_object_by_value_set() : goto_symext
• restore() : goto_convertt::break_continue_targetst, goto_convertt::break_switch_targetst, goto_convertt::throw_targett
• restore_contract_clause() : python_converter
• restore_last_paths() : execution_statet
• restricted() : irept
• result_key() : preprocessor.function_value_types._Analysis
• result_of_outer() : interval_analysis_ibex_contractor
• rethrowing_catch() : clang_cpp_convertert
• retire() : renaming::level2t
• retire_objectless_operand() : value_sett
• return_node() : andersent
• return_type() : code_typet, irept
• return_value() : code_returnt
• returned_function() : python_converter
• returned_function_type() : python_converter
• retype_element_store() : python_list
• reverse() : element_type_registry
• rewrite() : preprocessor.bound_method_dispatch._Rebound, preprocessor.unbound_locals._Rewriter
• rewrite_builtin_ref() : clang_c_convertert
• rewrite_conjunct() : goto_symext
• rewrite_ptrs_to_structs() : smt_solver_baset
• rewrite_returns_for_delegate_shadow() : solidity_convertert
• rewrite_short_circuit_as_ternary() : goto_convertt
• rewrite_vla_decl() : goto_convertt
• rewrite_vla_decl_size() : goto_convertt
• rhs() : binary_relation_exprt, code_assignt, code_declt
• root_object() : object_descriptor_exprt
• round() : fixedbvt
• round_fixedbv_to_int() : smt_solver_baset
• round_int_to_fp() : smt_solver_baset
• round_real_to_int() : smt_solver_baset
• rtti_name_component() : clang_cpp_convertert
• rtti_name_component_id() : clang_cpp_convertert
• rtti_type_name() : clang_cpp_convertert
• run() : algorithm< T >, apply_intrinsic_unroller, assertion_cache, bmct, claim_slicer, goto_functions_algorithm, LdVerifyRunner, simple_slice, ssa_features, symex_slicet, symmetry_breakingt
• run_builtin() : goto_symext
• run_chosen_strategy() : esbmc_parseoptionst
• run_decision_procedure() : bmct
• run_intrinsic() : goto_symext
• run_next_function_ptr_target() : goto_symext
• run_on_assert() : assertion_cache, ssa_step_algorithm, symex_slicet
• run_on_assignment() : ssa_step_algorithm, symex_slicet
• run_on_assume() : ssa_step_algorithm, symex_slicet
• run_on_branching() : ssa_step_algorithm
• run_on_output() : ssa_step_algorithm
• run_on_renumber() : ssa_step_algorithm, symex_slicet
• run_on_skip() : ssa_step_algorithm
• run_on_step() : ssa_step_algorithm
• run_thread() : bmct
• runOnFunction() : assign_params_as_non_det, goto_check_dead_store, goto_check_excessive_alloc, goto_check_unchecked_return, goto_check_uninit_vars, goto_cse, goto_functions_algorithm, mark_decl_as_non_det
• runOnLoop() : apply_intrinsic_unroller, goto_functions_algorithm, unsound_loop_unroller
• runOnProgram() : goto_cse, goto_functions_algorithm
• runtime() : bounded_math
• runtime_encoded_equationt() : runtime_encoded_equationt
• runtime_slice_axis() : python_list
• rw_sett() : rw_sett