- r -

• ranges_at_loct : rd_range_domaint
• rangest : rd_range_domaint
• recfind_recursion_sett : value_set_fit
• recursion_sett : flow_insensitive_analysis_baset , goto_inlinet , recursive_initializationt , symbol_factoryt
• recursion_unwind_handlert : symex_bmct
• reference : cmdlinet::option_namest::option_names_iteratort , concat_iteratort< first_iteratort, second_iteratort > , dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue > , 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 >
• replacement_listt : replace_callst
• replacement_mapt : replace_callst
• resolve_identifierst : cpp_typecheck_resolvet
• restrictionst : function_pointer_restrictionst
• restrictiont : function_pointer_restrictionst
• result_typet : abstract_equalert , abstract_hashert
• reverse_iterator : fixed_keys_map_wrappert< mapt >
• reverse_mapt : mini_bdd_mgrt
• rounding_modes : constants_evaluator
• rulest : taint_parse_treet