- r -
- r_buff0_thds
: shared_bufferst::varst
- r_buff1_thds
: shared_bufferst::varst
- r_entries
: rw_set_baset
- r_range_set
: rw_range_sett
- rd
: dependence_grapht
- reachable
: is_threaded_domaint
- reaches_assertion
: reachability_slicert::slicer_entryt
- 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
, simple_insertiont
- reads_per_variable
: event_grapht::graph_explorert
- reason
: invariant_failedt
- recognize_wchar_t
: cpp_parsert
- record_coverage
: symex_bmct
- record_events
: goto_symex_statet
- recursion_map
: path_symex_statet
- recursion_set
: ai_baset
, flow_insensitive_analysis_baset
, goto_inlinet
, java_object_factoryt
, static_analysis_baset
- ref1
: java_bytecode_parsert::pool_entryt
- ref2
: java_bytecode_parsert::pool_entryt
- ref_count
: irept::dt
, reference_counting< T >::dt
- reference_counter
: mini_bdd_nodet
- regex_match
: java_class_loader_limitt
- regex_matcher
: java_class_loader_limitt
- remaining_vccs
: goto_symext
- remove_returns_done
: goto_instrument_parse_optionst
- rename_symbol
: linkingt
- renamed_ids
: linkingt
- render_by_file
: instrumentert
- render_by_function
: instrumentert
- render_po_aligned
: instrumentert
- replace_const
: constant_propagator_domaint::valuest
- representation
: format_tokent
- reserved
: mz_stream_s
- residue
: subsumed_patht
- resolution_proof
: minisat_prooft
- restrict_cnt
: cpp_convert_typet
- result
: property_checkert::property_statust
, smt2irept
- result_bv
: bv_refinementt::approximationt
- result_type
: bytecode_infot
- result_value
: bv_refinementt::approximationt
- retain_trivial
: goto_checkt
- return_address
: check_call_sequencet::call_stack_entryt
- return_function
: interpretert::stack_framet
- return_lhs
: path_symex_statet::framet
- return_location
: path_symex_statet::framet
- return_PC
: interpretert::stack_framet
- return_rhs
: path_symex_statet::framet
- return_set
: goto_convertt::targetst
- return_target
: goto_convertt::targetst
- return_type
: c_typecheck_baset
- return_value
: goto_symex_statet::framet
- return_value_address
: interpretert::stack_framet
- reverse_map
: mini_bdd_mgrt
- root
: bdd_exprt
- root_clause
: clauset
- root_scope
: cpp_scopest
, Parser
- 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
, ieee_floatt
- rounding_mode_bits
: float_utilst
- RRcumul
: abstract_eventt
- RRfence
: abstract_eventt
- rules
: taint_parse_treet
- RWcumul
: abstract_eventt
- RWfence
: abstract_eventt