- r -
- ranges_at_loct
: rd_range_domaint
- rangest
: rd_range_domaint
- recfind_recursion_sett
: value_set_fit
, value_set_fivrt
- recursion_sett
: flow_insensitive_analysis_baset
, goto_inlinet
, recursive_initializationt
, static_analysis_baset
, symbol_factoryt
- recursion_unwind_handlert
: symex_bmct
- reference
: concat_iteratort< first_iteratort, second_iteratort >
, depth_iterator_baset< depth_iterator_t >
, filter_iteratort< iteratort >
, lazy_goto_functions_mapt
, map_iteratort< iteratort, outputt >
, symbol_table_baset::iteratort
, zip_iteratort< first_iteratort, second_iteratort, same_size >
- reference_substitutiont
: code_with_referencest
- relationt
: memory_snapshot_harness_generatort::preordert< Key >
- renaming_counterst
: smt2_parsert
- renaming_mapt
: smt2_parsert
- replacement_listt
: replace_callst
- replacement_mapt
: replace_callst
- resolve_identifierst
: cpp_typecheck_resolvet
- restrictionst
: function_pointer_restrictionst
- restrictiont
: function_pointer_restrictionst
- reverse_iterator
: fixed_keys_map_wrappert< mapt >
- reverse_mapt
: mini_bdd_mgrt
- rulest
: taint_parse_treet