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

- r -

• r : rw_sett::entryt
• R_var : CounterFBNode
• ra_api : smt_solver_baset
• radix : sys._FloatInfo
• raise_divmod_type_error() : python_math
• raise_on_unordered_tie() : python_converter
• range : smtlib_smt_sort
• range_loop_counter : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• rank_floating() : c_typecastt
• rank_integer() : c_typecastt
• raw_output : LdVerifyResult
• raw_value_type : table
• re_root() : unsigned_union_find
• reachability_treet : goto_symext, reachability_treet
• reached_claims : goto_functionst
• reached_claims_mutex : goto_functionst
• reached_mul_claims : goto_functionst
• reached_mul_claims_mutex : goto_functionst
• READ : dereferencet::modet, dereferencet
• read() : c_qualifierst, file_operations::filesystemt, io.StringIO, irept, parsert, python_param_annotations::module_ast, 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
• readonly : python_list::strided_view_desc
• readonly_global_opt : reachability_treet
• reads : execution_statet::transition_footprintt
• reads_value_as_tagged() : python_dict_handler
• reads_varargs : andersent
• real_intervalt : interval_domaint
• real_tabs_in_strings_allowed() : formatter
• realloc_map : goto_symex_statet
• realval : smtlib_smt_ast
• reason : arange_materialize_result, inductive_step_disabled_exceptiont
• rebound : preprocessor.function_value_types._Analysis
• receivers : preprocessor.path_dependent_attributes._Uses
• 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
• recursion_set : goto_inlinet, static_analysis_baset
• recursion_sett : goto_inlinet, static_analysis_baset
• reduce_view_argextreme() : python_list
• reduce_view_extreme() : python_list
• reduce_view_truth() : python_list
• reduction_stats : reachability_treet
• ref_count : irept::dt
• ref_kind : pointer_type2t
• refcount : irep2t
• reference : array, irept, table_iterator< IsConst >
• reference_convert() : irep_serializationt
• reference_typet() : reference_typet
• referenced_names : preprocessor.module_rewrite_mixin.ModuleRewriteMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• 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
• regsPerBlock : cudaDeviceProp
• regsPerMultiprocessor : cudaDeviceProp
• 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
• rem : div_t, ldiv_t, lldiv_t
• remaining_claims : goto_symext, goto_symext::symex_resultt
• 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
• renames : parser.nested_class_imports._QualifyImportedNestedClasses, preprocessor.class_context_mixin._QualifyNestedClasses
• renaming::level1t::name_rec_hash : renaming::level1t::name_record
• renaming_level : symbol2t
• RENUMBER : symex_targett
• renumber() : symex_target_equationt, symex_targett
• renumber_map : smt_solver_baset
• renumber_mapt : smt_solver_baset
• 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
• replacements : preprocessor.bound_method_dispatch._Replace
• 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_first_page : configt::ansi_ct
• 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
• resolver_t : st_fb_translator
• response_var : LdProperty
• 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 : array_convt::array_equality, smt_solver_baset::uf_ackermann_entry, transcendental::piece
• result_key() : preprocessor.function_value_types._Analysis
• result_of_outer() : interval_analysis_ibex_contractor
• result_var : preprocessor.generator_mixin.GeneratorMixin._YieldToAppend
• ret : andersent::indirect_callt, code_function_call2t
• ret_type : code_type2t
• rethrowing_catch() : clang_cpp_convertert
• retire() : renaming::level2t
• retire_objectless_operand() : value_sett
• return_from_function : edget
• return_marker : code_type2t
• return_node() : andersent
• return_set : goto_convertt::targetst
• return_target : goto_convertt::targetst
• return_type() : code_typet, irept, nested_func
• return_type_ : function
• return_value() : code_returnt, goto_symex_statet::framet
• returncode : subprocess.CalledProcessError, subprocess.CompletedProcess
• returned_function() : python_converter
• returned_function_type() : python_converter
• retype_element_store() : python_list
• revents : pollfd
• 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_relative_import : parser.parser_cli._ResolverCallbacksDeps, parser.parser_cli.ImportResolverLike
• 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
• RewriteRelativeImportFn : parser.import_resolver.ModuleImportInfo
• rhs : andersent::constraintt, binary_relation_exprt, code_assignt, code_declt, goto_trace_stept, jimple_assignment, jimple_binop, sideeffect_assign2t, symex_target_equationt::SSA_stept
• rlevel : symbol2t
• role : llm::message_t
• root : jimple_languaget, preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin._ListCompExpressionLowerer, unsigned_union_find::nodet
• root_name : chained_subarray_literal_indices
• 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
• ROUND_TO_AWAY : ieee_floatt
• ROUND_TO_EVEN : ieee_floatt
• ROUND_TO_MINUS_INF : ieee_floatt
• ROUND_TO_PLUS_INF : ieee_floatt
• ROUND_TO_ZERO : ieee_floatt
• rounding_mode : ieee_floatt, ieee_fma2t, ieee_sqrt2t, nearbyint2t, typecast2t
• rounding_modet : ieee_floatt
• rounds : sys._FloatInfo
• rows : exact_lu_factors
• rtti_name_component() : clang_cpp_convertert
• rtti_name_component_id() : clang_cpp_convertert
• rtti_type_name() : clang_cpp_convertert
• rule : LdIRNode
• run : adjust_arm< Pass >, 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
• rungs : LdIR, NetworkNode
• 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, numpy_nditer_state
• runtime_encoded_equationt() : runtime_encoded_equationt
• runtime_slice_axis() : python_list
• runtime_solver : bmct
• rw_sett() : rw_sett