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

- r -

r_buff0_thds : shared_bufferst::varst
r_buff1_thds : shared_bufferst::varst
r_char : gdb_apit
r_entries : rw_set_baset
r_hex_addr : gdb_apit
r_id : gdb_apit
r_range_set : rw_range_sett
r_string : gdb_apit
radix : string_constraint_generatort::parseint_argumentst, string_of_int_builtin_functiont
radix_ul : string_constraint_generatort::parseint_argumentst
range : index_range_iteratort, index_ranget, value_range_iteratort, value_ranget
range_ : widened_ranget
rd : dependence_grapht
reachable : goto_statet, is_threaded_domaint, value_set_domain_templatet< VST >
reachable_from_assertion : reachability_slicert::slicer_entryt
reaches_assertion : reachability_slicert::slicer_entryt
read_buf_avail : mz_zip_reader_extract_iter_state
read_buf_ofs : mz_zip_reader_extract_iter_state
read_buf_size : mz_zip_reader_extract_iter_state
read_buffer : irep_serializationt
read_counter : instrumentert::cfg_visitort
read_delayed : shared_bufferst::varst
read_delayed_var : shared_bufferst::varst
read_in_atomic_section : goto_symex_statet
reads : partial_order_concurrencyt::a_rect
reads_per_variable : event_grapht::graph_explorert
reads_replaced : mm_iot
reason : cprover_exception_baset, invariant_failedt
recognize_wchar_t : cpp_parsert
record_coverage : symex_bmct
record_events : goto_symex_statet
recursion_limit : call_stack_history_factoryt, call_stack_historyt
recursion_set : flow_insensitive_analysis_baset, goto_inlinet, java_object_factoryt, recursion_set_entryt
recursion_unwind_handlers : symex_bmct
recursive_call_regex : inlining_decoratort
recursive_call_set : inlining_decoratort
recursive_initialization : function_call_harness_generatort::implt
recursive_initialization_config : function_call_harness_generatort::implt, memory_snapshot_harness_generatort
red : messaget
ref : framet
ref1 : java_bytecode_parsert::pool_entryt
ref2 : java_bytecode_parsert::pool_entryt
ref_count : reference_counting< T, empty >::dt
reference : get_or_create_reference_resultt
reference_counter : mini_bdd_nodet
reference_id : reference_allocationt
reference_index : method_handle_infot
references : java_bytecode_languaget, object_creation_infot
refine_arithmetic : bv_refinementt::configt
refine_arrays : bv_refinementt::configt
refined_string_type : java_string_library_preprocesst
refinement_bound : string_refinementt::configt
regex_matcher : include_pattern_filtert, java_class_loader_limitt
regex_str : functiont
remaining_vccs : goto_symex_statet
remove_added_instanceof : remove_exceptionst
remove_returns_done : goto_instrument_parse_optionst
remove_static : c_wranglert::functiont, c_wranglert::objectt
removed : journalling_symbol_tablet
rename_main_symbol : linkingt
rename_new_symbol : linkingt
renamed_ids : linkingt
render_by_file : instrumentert
render_by_function : instrumentert
render_po_aligned : instrumentert
rep : infix_opt
replace_const : constant_propagator_can_forward_propagatet, constant_propagator_domaint::valuest
replace_symbol : loop_contracts_clauset
replacement_map : axiomst
replacement_predicates : linker_script_merget
representation : format_tokent
representative_inst : cover_basic_blockst::block_infot
require_lvalue : address_of_aware_replace_symbolt, address_of_aware_replace_symbolt::set_require_lvalue_and_backupt
requires_fn_name : is_fresh_baset
requires_write_set : dfcc_wrapper_programt
reset : messaget
residue : subsumed_patht
resolution_proof : minisat_prooft
response_stream : gdb_apit, smt_piped_solver_processt
restrictions : function_pointer_restrictionst
result : expr2stlt, sort_based_cast_to_bit_vector_convertert, sort_based_literal_convertert, string_creation_builtin_functiont, string_format_builtin_functiont, string_insertion_builtin_functiont, string_test_builtin_functiont, string_transformation_builtin_functiont, value_expr_from_smt_factoryt
result_bv : bv_refinementt::approximationt
result_from : string_dependenciest::string_nodet
result_type : bytecode_infot
result_value : bv_refinementt::approximationt
retain_trivial : goto_check_ct
return_address : check_call_sequencet::call_stack_entryt
return_assignments : interpretert::function_assignments_contextt
return_code : string_builtin_functiont
return_function : interpretert::stack_framet
return_lhs : state_encodingt
return_pc : interpretert::stack_framet
return_set : goto_convertt::targetst
return_target : goto_convertt::targetst
return_type : c_typecheck_baset, statement_list_parse_treet::functiont
return_value_address : interpretert::stack_framet
return_value_opt : dfcc_wrapper_programt
return_value_symbol : framet
return_WS_and_comments : cscannert
reverse_map : mini_bdd_mgrt
rhs : assignmentt, framet::implicationt, left_and_right_valuest
right : left_and_right_valuest
right_depth_below_common_ancestor : ancestry_resultt
rlo_bit : statement_list_typecheckt::nesting_stack_entryt, statement_list_typecheckt
root_clause : clauset
root_scope : cpp_scopest, Parser
round_to_away : float_bvt::rounding_mode_bitst, float_utilst::rounding_mode_bitst
round_to_even : float_bvt::rounding_mode_bitst, float_utilst::rounding_mode_bitst
round_to_minus_inf : float_bvt::rounding_mode_bitst, float_utilst::rounding_mode_bitst
round_to_plus_inf : float_bvt::rounding_mode_bitst, float_utilst::rounding_mode_bitst
round_to_zero : float_bvt::rounding_mode_bitst, float_utilst::rounding_mode_bitst
rounding_mode : configt::ansi_ct
rounding_mode_bits : float_utilst
rounding_mode_symbol : constants_evaluator
RRcumul : abstract_eventt
RRfence : abstract_eventt
rules : taint_parse_treet
run_validation_checks : goto_symex_statet, symex_configt
RWcumul : abstract_eventt
RWfence : abstract_eventt