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

- r -

• r : rw_sett::entryt
• R_var : CounterFBNode
• ra_api : smt_solver_baset
• radix : sys._FloatInfo
• range : smtlib_smt_sort
• range_loop_counter : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• raw_output : LdVerifyResult
• reached_claims : goto_functionst
• reached_claims_mutex : goto_functionst
• reached_mul_claims : goto_functionst
• reached_mul_claims_mutex : goto_functionst
• READ : dereferencet
• read : python_param_annotations::module_ast
• readonly : python_list::strided_view_desc
• readonly_global_opt : reachability_treet
• reads : execution_statet::transition_footprintt
• reads_varargs : andersent
• 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
• recursion_set : goto_inlinet, static_analysis_baset
• reduction_stats : reachability_treet
• ref_count : irept::dt
• ref_kind : pointer_type2t
• refcount : irep2t
• referenced_names : preprocessor.module_rewrite_mixin.ModuleRewriteMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• regsPerBlock : cudaDeviceProp
• regsPerMultiprocessor : cudaDeviceProp
• rem : div_t, ldiv_t, lldiv_t
• remaining_claims : goto_symext, goto_symext::symex_resultt
• renames : parser.nested_class_imports._QualifyImportedNestedClasses, preprocessor.class_context_mixin._QualifyNestedClasses
• renumber_map : smt_solver_baset
• replacements : preprocessor.bound_method_dispatch._Replace
• reserve_first_page : configt::ansi_ct
• response_var : LdProperty
• result : array_convt::array_equality, smt_solver_baset::uf_ackermann_entry, transcendental::piece
• result_var : preprocessor.generator_mixin.GeneratorMixin._YieldToAppend
• ret : andersent::indirect_callt, code_function_call2t
• ret_type : code_type2t
• return_from_function : edget
• return_marker : code_type2t
• return_set : goto_convertt::targetst
• return_target : goto_convertt::targetst
• return_type : nested_func
• return_type_ : function
• return_value : goto_symex_statet::framet
• returncode : subprocess.CalledProcessError, subprocess.CompletedProcess
• revents : pollfd
• rewrite_relative_import : parser.parser_cli._ResolverCallbacksDeps, parser.parser_cli.ImportResolverLike
• RewriteRelativeImportFn : parser.import_resolver.ModuleImportInfo
• rhs : andersent::constraintt, 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
• rounding_mode : ieee_floatt, ieee_fma2t, ieee_sqrt2t, nearbyint2t, typecast2t
• rounds : sys._FloatInfo
• rows : exact_lu_factors
• rule : LdIRNode
• run : adjust_arm< Pass >
• rungs : LdIR, NetworkNode
• runtime : numpy_nditer_state
• runtime_solver : bmct