- 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
, 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
- renaming_counterst
: smt2_parsert
- renaming_mapt
: smt2_parsert
- replacement_listt
: replace_callst
- replacement_mapt
: replace_callst
- resolve_identifierst
: cpp_typecheck_resolvet
- reverse_iterator
: fixed_keys_map_wrappert< mapt >
- reverse_mapt
: mini_bdd_mgrt
- rulest
: taint_parse_treet