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

- 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