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

- r -

• raw_value_type : table
• real_intervalt : interval_domaint
• recursion_sett : goto_inlinet, static_analysis_baset
• reference : array, table_iterator< IsConst >
• renaming_level : symbol2t
• renumber_mapt : smt_solver_baset
• resolver_t : st_fb_translator