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

- r -

• r_buff0_thds : shared_bufferst::varst
• r_buff1_thds : shared_bufferst::varst
• r_char : gdb_apit
• r_entries : rw_set_baset
• r_hex_addr : gdb_apit
• r_id : gdb_apit
• r_ok_exprt() : r_ok_exprt
• r_opt() : gdb_apit
• r_or() : gdb_apit
• r_or_w_ok_exprt() : r_or_w_ok_exprt
• r_range_set : rw_range_sett
• r_string : gdb_apit
• rAccessDecl() : Parser
• rAdditiveExpr() : Parser
• radix : string_constraint_generatort::parseint_argumentst , string_of_int_builtin_functiont
• radix_ul : string_constraint_generatort::parseint_argumentst
• rAlignofExpr() : Parser
• rAllocateExpr() : Parser
• rAllocateInitializer() : Parser
• rAllocateType() : Parser
• rAndExpr() : Parser
• range : index_range_iteratort , index_ranget , value_range_iteratort , value_ranget
• range_ : widened_ranget
• range_domain_baset() : range_domain_baset
• range_spect() : range_spect
• range_typet() : range_typet
• ranges_at_loct : rd_range_domaint
• rangest : rd_range_domaint
• ranget() : ranget< iteratort >
• rArgDeclaration() : Parser
• rArgDeclList() : Parser
• rArgDeclListOrInit() : Parser
• RATIONAL : c_typecastt
• rational_typet() : rational_typet
• rationalt() : rationalt
• rBaseSpecifiers() : Parser
• rbegin() : fixed_keys_map_wrappert< mapt >
• rbytecode() : java_bytecode_parsert
• rCastExpr() : Parser
• rCastOperatorName() : Parser
• rclass_attribute() : java_bytecode_parsert
• rClassBody() : Parser
• rClassFile() : java_bytecode_parsert
• rClassMember() : Parser
• rClassSpec() : Parser
• rcode_attribute() : java_bytecode_parsert
• rCommaExpression() : Parser
• rCompoundStatement() : Parser
• rCondition() : Parser
• rConditionalExpr() : Parser
• rconstant_pool() : java_bytecode_parsert
• rConstDeclaration() : Parser
• rConstructorDecl() : Parser
• rd : dependence_grapht
• rd_range_domain_factoryt() : rd_range_domain_factoryt
• rd_range_domaint() : rd_range_domaint
• rDeclaration() : Parser
• rDeclarationStatement() : Parser
• rDeclarator() : Parser
• rDeclaratorQualifier() : Parser
• rDeclarators() : Parser
• rDeclaratorWithInit() : Parser
• rDefinition() : Parser
• rDoStatement() : Parser
• re_root() : unsigned_union_find
• reachable : goto_statet , is_threaded_domaint , value_set_domain_templatet< VST >
• reachable_from_assertion : reachability_slicert::slicer_entryt
• reaches_assertion : reachability_slicert::slicer_entryt
• reaching_definitions() : dependence_grapht
• reaching_definitions_analysist() : reaching_definitions_analysist
• reaching_definitiont() : reaching_definitiont
• read() : _rw_set_loct , c_qualifierst , c_storage_spect , copy_on_writet< T > , cpp_storage_spect , interpretert , java_bytecode_parsert , java_qualifierst , non_sharing_treet< derivedt, named_subtreest > , parsert , pointer_arithmetict , reference_counting< T, empty > , sharing_treet< derivedt, named_subtreest >
• read_bootstrapmethods_entry() : java_bytecode_parsert
• read_buffer : irep_serializationt
• read_component() : abstract_aggregate_objectt< aggregate_typet, aggregate_traitst > , full_array_abstract_objectt , full_struct_abstract_objectt
• read_container() : sharing_nodet< keyT, valueT, equalT >
• read_counter : instrumentert::cfg_visitort
• read_delayed : shared_bufferst::varst
• read_delayed_var : shared_bufferst::varst
• read_dereference() : abstract_pointer_objectt , constant_pointer_abstract_objectt , two_value_pointer_abstract_objectt , value_set_pointer_abstract_objectt
• read_element() : full_array_abstract_objectt
• read_from() : memory_model_baset
• read_from_file() : function_pointer_restrictionst
• read_function_type() : cpp_convert_typet
• read_gb_string() : irep_serializationt
• read_gb_word() : irep_serializationt
• read_goto_binary() : api_sessiont
• read_in_atomic_section : goto_symex_statet
• read_internal() : sharing_nodet< keyT, valueT, equalT >
• read_irep() : irep_serializationt
• read_jar_file() : java_class_loadert
• read_leaf() : sharing_nodet< keyT, valueT, equalT >
• read_most_recent_line() : gdb_apit
• read_next_line() : gdb_apit
• read_rec() : ansi_c_convert_typet , cpp_convert_typet
• read_result() : smt2_dect
• read_string_ref() : irep_serializationt
• read_template() : cpp_convert_typet
• read_token() : cpp_token_buffert
• read_type() : array_aggregate_typet , struct_aggregate_typet , union_aggregate_typet
• read_unbounded() : interpretert
• read_utf8_constant() : structured_pool_entryt
• read_verification_type_info() : java_bytecode_parsert
• read_write_rec() : _rw_set_loct
• reads : partial_order_concurrencyt::a_rect
• reads_per_variable : event_grapht::graph_explorert
• reads_replaced : mm_iot
• REAL : c_typecastt
• real() : complex_exprt
• real_typet() : real_typet
• real_value_comparatort() : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::real_value_comparatort
• reallocate_exprt() : reallocate_exprt
• reallocate_state_exprt() : reallocate_state_exprt
• reason : cprover_exception_baset , invariant_failedt
• receive() : piped_processt
• receive_response() : smt_base_solver_processt , smt_incremental_dry_run_solvert , smt_piped_solver_processt
• recfind_recursion_sett : value_set_fit
• recognize_wchar_t : cpp_parsert
• record() : functionst
• record_array_equality() : arrayst
• record_array_index() : arrayst
• record_coverage : symex_bmct
• record_events : goto_symex_statet
• record_path() : disjunctive_polynomial_accelerationt , sat_path_enumeratort
• recursion_limit : call_stack_history_factoryt , call_stack_historyt
• recursion_set : flow_insensitive_analysis_baset , goto_inlinet , java_object_factoryt , recursion_set_entryt
• recursion_set_entryt() : recursion_set_entryt
• recursion_sett : flow_insensitive_analysis_baset , goto_inlinet , recursive_initializationt , symbol_factoryt
• recursion_unwind_handlers : symex_bmct
• recursion_unwind_handlert : symex_bmct
• RECURSIVE : cpp_scopet
• recursive_call_regex : inlining_decoratort
• recursive_call_set : inlining_decoratort
• recursive_enumerator_placeholdert() : recursive_enumerator_placeholdert
• recursive_initialization : function_call_harness_generatort::implt
• recursive_initialization_config : function_call_harness_generatort::implt , memory_snapshot_harness_generatort
• recursive_initializationt() : recursive_initializationt
• red() : consolet , messaget
• redirectt() : consolet::redirectt
• reeval_operands() : constants_evaluator
• ref : framet
• ref1 : java_bytecode_parsert::pool_entryt
• ref2 : java_bytecode_parsert::pool_entryt
• ref_count : ref_count_ift< true > , reference_counting< T, empty >::dt
• ref_expr_set_dt() : ref_expr_set_dt
• 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_allocationt() : reference_allocationt
• reference_binding() : cpp_typecheckt
• reference_compatible() : cpp_typecheckt
• reference_convert() : irep_serializationt
• reference_counter : mini_bdd_nodet
• reference_counting() : reference_counting< T, empty >
• reference_id : reference_allocationt
• reference_index : method_handle_infot
• reference_initializer() : cpp_typecheckt
• reference_related() : cpp_typecheckt
• reference_substitutiont : code_with_referencest
• reference_typet() : reference_typet
• references : java_bytecode_languaget , object_creation_infot
• refine_arithmetic : bv_refinementt::configt
• refine_arrays : bv_refinementt::configt
• refined_string_exprt() : refined_string_exprt
• refined_string_type : java_string_library_preprocesst
• refined_string_typet() : refined_string_typet
• refinement_bound : string_refinementt::configt
• regex_matcher : include_pattern_filtert , java_class_loader_limitt
• regex_str : functiont
• register_assertion_ssas() : solver_hardnesst
• register_clause() : clause_hardness_collectort , solver_hardnesst
• register_generator() : goto_harness_generator_factoryt
• register_languages() : cbmc_parse_optionst , goto_analyzer_parse_optionst , goto_cc_modet , goto_diff_parse_optionst , goto_instrument_parse_optionst , goto_synthesizer_parse_optionst , janalyzer_parse_optionst , jdiff_parse_optionst , memory_analyzer_parse_optionst , parse_options_baset , symtab2gb_parse_optionst
• register_observer() : cover_goalst
• register_read_from_choice_symbol() : memory_model_baset
• register_ssa() : solver_hardnesst
• register_ssa_size() : solver_hardnesst
• register_trace() : trace_map_storaget
• reinitialize() : lazy_class_to_declared_symbols_mapt
• reinitialize_model() : dfcct
• reinterpret_typecast() : cpp_typecheckt
• rel() : bv_utilst
• relation() : float_bvt , float_utilst
• relationt : memory_snapshot_harness_generatort::preordert< Key >
• relement_value_pairs() : java_bytecode_parsert
• relt : float_bvt , float_utilst
• rem() : float_utilst
• remainder() : bv_utilst
• remaining_vccs : goto_symex_statet
• remove() : invariant_sett , irept , symbol_table_baset
• remove_added_instanceof : remove_exceptionst
• remove_asmt() : remove_asmt
• remove_assignment() : goto_convertt
• remove_call_no_body() : remove_calls_no_bodyt
• remove_child() : sharing_nodet< keyT, valueT, equalT >
• remove_com_edge() : event_grapht
• remove_const() : goto_program2codet
• remove_const_function_pointerst() : remove_const_function_pointerst
• remove_cpp_delete() : goto_convertt
• remove_cpp_new() : goto_convertt
• remove_default() : goto_program2codet
• remove_duplicates() : cpp_typecheck_resolvet
• remove_edge() : event_grapht , grapht< N >
• remove_edges() : grapht< N >
• remove_ellipsis() : code_typet
• remove_exceptionst() : remove_exceptionst
• remove_file() : language_filest
• remove_function_call() : goto_convertt
• remove_function_pointer() : remove_function_pointerst
• remove_function_pointers() : remove_function_pointerst
• remove_function_pointerst() : remove_function_pointerst
• remove_gcc_conditional_expression() : goto_convertt
• remove_in_edges() : grapht< N >
• remove_instanceoft() : remove_instanceoft
• remove_java_newt() : remove_java_newt
• remove_l0_l1() : graphml_witnesst
• remove_leaf() : sharing_nodet< keyT, valueT, equalT >
• remove_level_2() : ssa_exprt
• remove_malloc() : goto_convertt
• remove_object() : cpp_typecheck_fargst
• remove_op0() : expr_skeletont
• remove_out_edges() : grapht< N >
• remove_overflow() : goto_convertt
• remove_po_edge() : event_grapht
• remove_post() : goto_convertt
• remove_pre() : goto_convertt
• remove_ref() : reference_counting< T, empty > , sharing_treet< derivedt, named_subtreest >
• remove_reference() : mini_bdd_nodet
• remove_returns_done : goto_instrument_parse_optionst
• remove_returnst() : remove_returnst
• remove_side_effect() : goto_convertt
• remove_statement_expression() : goto_convertt
• remove_static : c_wranglert::functiont , c_wranglert::objectt
• remove_subtype() : typet
• remove_templates() : cpp_typecheck_resolvet
• remove_temporary_object() : goto_convertt
• remove_undirected_edge() : grapht< N >
• remove_virtual_function() : remove_virtual_functionst
• remove_virtual_functions() : remove_virtual_functionst
• remove_virtual_functionst() : remove_virtual_functionst
• removed : journalling_symbol_tablet
• rename() : goto_symex_statet , linkingt , rename_symbolt
• rename_address() : goto_symex_statet
• rename_main_symbol : linkingt
• RENAME_NEW : linkingt
• rename_new_symbol : linkingt
• RENAME_OLD : linkingt
• rename_ssa() : goto_symex_statet
• rename_symbols() : linkingt
• rename_symbolt() : rename_symbolt
• renamed_ids : linkingt
• renamedt() : renamedt< underlyingt, level >
• renamingt : linkingt
• rend() : fixed_keys_map_wrappert< mapt >
• render_by_file : instrumentert
• render_by_function : instrumentert
• render_po_aligned : instrumentert
• rEnumBody() : Parser
• rEnumSpec() : Parser
• rep : infix_opt
• repeat() : smt_bit_vector_theoryt
• replace() : address_of_aware_replace_symbolt , axiomst , casting_replace_symbolt , constant_propagator_ait
• Replace() : cpp_token_buffert
• replace() : replace_symbolt , sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• replace_call_to_cprover_assume() : java_bytecode_convert_methodt
• replace_calls() : code_contractst
• replace_char_array() : java_string_library_preprocesst
• replace_character_call() : character_refine_preprocesst , java_string_library_preprocesst
• replace_const : constant_propagator_can_forward_propagatet , constant_propagator_domaint::valuest
• replace_const_symbols() : remove_const_function_pointerst
• replace_constants_and_simplify() : constant_propagator_domaint
• replace_expr() : linker_script_merget , string_constraintt , union_find_replacet
• replace_goto_target() : java_bytecode_convert_methodt
• replace_new_object() : goto_convertt
• replace_nondet_rec() : state_encodingt
• replace_return() : goto_inlinet
• replace_returns() : remove_returnst
• replace_string_macros() : string_abstractiont
• replace_symbol : loop_contracts_clauset
• replace_symbol_expr() : address_of_aware_replace_symbolt , casting_replace_symbolt , replace_symbolt , unchecked_replace_symbolt
• replace_symbolt() : replace_symbolt
• replace_types_rec() : constant_propagator_ait
• replace_with_contract() : dfcc_swap_and_wrapt
• replacement_listt : replace_callst
• replacement_map : axiomst
• replacement_mapt : replace_callst
• replacement_predicates : linker_script_merget
• replacement_predicatet() : replacement_predicatet
• replaces_symbol() : replace_symbolt
• replication_exprt() : replication_exprt
• report() : all_properties_verifier_with_fault_localizationt< incremental_goto_checkerT > , all_properties_verifier_with_trace_storaget< incremental_goto_checkerT > , all_properties_verifiert< incremental_goto_checkerT > , cover_goals_verifier_with_trace_storaget< incremental_goto_checkerT > , goto_verifiert , incremental_goto_checkert , multi_path_symex_checkert , stop_on_fail_verifier_with_fault_localizationt< incremental_goto_checkerT > , stop_on_fail_verifiert< incremental_goto_checkerT >
• report_anomalies() : function_filter_baset , function_filterst , goal_filter_baset , goal_filterst
• report_block_anomalies() : cover_basic_blockst , cover_blocks_baset
• representation : format_tokent
• representationt : bv_utilst , format_tokent
• representative_inst : cover_basic_blockst::block_infot
• rEqualityExpr() : Parser
• require_instructions_equal() : require_parse_tree::expected_instructiont
• require_lvalue : address_of_aware_replace_symbolt , address_of_aware_replace_symbolt::set_require_lvalue_and_backupt
• require_one_size_value() : function_call_harness_generatort
• requires_fn_name : is_fresh_baset
• requires_pointer_primitive_check() : goto_check_ct
• requires_write_set : dfcc_wrapper_programt
• RES() : restrictt
• reserve_operands() : exprt
• reserved : mz_stream_s
• reset() : consolet , constant_index_ranget , empty_index_ranget , empty_value_ranget , framet , indeterminate_index_ranget , index_range_implementationt , interval_index_ranget , messaget , qbf_squolem_coret , single_value_value_ranget , small_shared_n_way_ptrt< Ts > , value_range_implementationt , value_set_index_ranget , value_set_value_ranget
• reset_location_on_merge() : liveness_contextt
• reset_track_deref() : rw_set_baset , rw_set_with_trackt
• residue : subsumed_patht
• resize() : grapht< N > , json_arrayt , sparse_vectort< T > , unsigned_union_find
• resize_if_necessary() : nfat< T >
• resolution_proof : minisat_prooft
• resolve() : cpp_typecheck_resolvet , cpp_typecheckt
• resolve_argument() : cpp_typecheck_resolvet
• resolve_identifierst : cpp_typecheck_resolvet
• resolve_inherited_componentt() : resolve_inherited_componentt
• resolve_namespace() : cpp_typecheck_resolvet
• resolve_scope() : cpp_typecheck_resolvet
• resolve_symbol() : abstract_environmentt , remove_const_function_pointerst
• resolve_values() : value_set_abstract_objectt , value_set_pointer_abstract_objectt
• resolve_with_arguments() : cpp_typecheck_resolvet
• response_or_errort() : response_or_errort< smtt >
• response_stream : gdb_apit , smt_piped_solver_processt
• restore() : cpp_save_scopet
• Restore() : cpp_token_buffert
• restore() : goto_convertt::break_continue_targetst , goto_convertt::break_switch_targetst , goto_convertt::leave_targett , goto_convertt::throw_targett , remove_returnst
• restore_from() : symex_level1t
• restore_functions() : cegis_verifiert
• restore_returns() : remove_returnst
• restrict_traces() : acceleratet
• restrictions : function_pointer_restrictionst
• restrictionst : function_pointer_restrictionst
• restrictiont : function_pointer_restrictionst
• restrictt() : restrictt
• result : expr2stlt , messaget , side_effect_expr_overflowt , sort_based_cast_to_bit_vector_convertert , sort_based_literal_convertert , string_creation_builtin_functiont , string_format_builtin_functiont , string_insertion_builtin_functiont , string_test_builtin_functiont , string_transformation_builtin_functiont , value_expr_from_smt_factoryt
• result_bv : bv_refinementt::approximationt
• result_from : string_dependenciest::string_nodet
• result_type : bytecode_infot
• result_typet : abstract_equalert , abstract_hashert
• result_value : bv_refinementt::approximationt
• resultt : decision_proceduret , incremental_goto_checkert::resultt , propt , safety_checkert , simplify_exprt::resultt< T >
• resume() : symex_bmc_incremental_one_loopt
• resume_path() : single_path_symex_only_checkert
• resume_symex_from_saved_state() : goto_symext
• retain_trivial : goto_check_ct
• return_address : check_call_sequencet::call_stack_entryt
• return_assignments : interpretert::function_assignments_contextt
• return_code : string_builtin_functiont
• return_function : interpretert::stack_framet
• return_lhs : state_encodingt
• return_pc : interpretert::stack_framet
• return_set : goto_convertt::targetst
• return_sort() : smt_array_theoryt::selectt , smt_array_theoryt::storet , smt_bit_vector_theoryt::addt , smt_bit_vector_theoryt::andt , smt_bit_vector_theoryt::arithmetic_shift_rightt , smt_bit_vector_theoryt::comparet , smt_bit_vector_theoryt::concatt , smt_bit_vector_theoryt::extractt , smt_bit_vector_theoryt::logical_shift_rightt , smt_bit_vector_theoryt::multiplyt , smt_bit_vector_theoryt::nandt , smt_bit_vector_theoryt::negatet , smt_bit_vector_theoryt::nort , smt_bit_vector_theoryt::nott , smt_bit_vector_theoryt::ort , smt_bit_vector_theoryt::repeatt , smt_bit_vector_theoryt::rotate_leftt , smt_bit_vector_theoryt::rotate_rightt , smt_bit_vector_theoryt::shift_leftt , smt_bit_vector_theoryt::sign_extendt , smt_bit_vector_theoryt::signed_dividet , smt_bit_vector_theoryt::signed_greater_than_or_equalt , smt_bit_vector_theoryt::signed_greater_thant , smt_bit_vector_theoryt::signed_less_than_or_equalt , smt_bit_vector_theoryt::signed_less_thant , smt_bit_vector_theoryt::signed_remaindert , smt_bit_vector_theoryt::subtractt , smt_bit_vector_theoryt::unsigned_dividet , smt_bit_vector_theoryt::unsigned_greater_than_or_equalt , smt_bit_vector_theoryt::unsigned_greater_thant , smt_bit_vector_theoryt::unsigned_less_than_or_equalt , smt_bit_vector_theoryt::unsigned_less_thant , smt_bit_vector_theoryt::unsigned_remaindert , smt_bit_vector_theoryt::xnort , smt_bit_vector_theoryt::xort , smt_bit_vector_theoryt::zero_extendt , smt_command_functiont , smt_core_theoryt::andt , smt_core_theoryt::distinctt , smt_core_theoryt::equalt , smt_core_theoryt::if_then_elset , smt_core_theoryt::impliest , smt_core_theoryt::nott , smt_core_theoryt::ort , smt_core_theoryt::xort , smt_declare_function_commandt , smt_define_function_commandt
• return_target : goto_convertt::targetst
• return_type : c_typecheck_baset , code_typet , statement_list_parse_treet::functiont
• return_value() : code_frontend_returnt , code_returnt , goto_programt::instructiont
• RETURN_VALUE : taint_parse_treet::rulet
• return_value_address : interpretert::stack_framet
• return_value_opt : dfcc_wrapper_programt
• return_value_symbol : framet
• return_WS_and_comments : cscannert
• reverse() : automatont , trace_automatont
• reverse_iterator : fixed_keys_map_wrappert< mapt >
• reverse_keyt() : mini_bdd_mgrt::reverse_keyt
• reverse_map : mini_bdd_mgrt
• reverse_mapt : mini_bdd_mgrt
• rewrite_boolean() : goto_convertt
• rewrite_calls() : dfcc_is_freeablet , dfcc_is_fresht , dfcc_obeys_contractt , dfcc_pointer_in_ranget
• rewrite_expression() : value_set_evaluator
• rewrite_quantifiers() : goto_symext
• rexceptions_attribute() : java_bytecode_parsert
• rExclusiveOrExpr() : Parser
• rExpression() : Parser
• rExprStatement() : Parser
• rExternTemplateDecl() : Parser
• rfield_attribute() : java_bytecode_parsert
• rfields() : java_bytecode_parsert
• rForStatement() : Parser
• rFunctionArguments() : Parser
• rFunctionBody() : Parser
• rGCCAsmStatement() : Parser
• rGCCAttribute() : Parser
• rhs : assignmentt , binary_exprt , code_assignt , code_frontend_assignt , framet::implicationt , ieee_float_op_exprt , left_and_right_valuest , side_effect_expr_assignt , side_effect_expr_overflowt
• rIfStatement() : Parser
• right : left_and_right_valuest
• right_depth_below_common_ancestor : ancestry_resultt
• right_interval() : left_and_right_valuest
• right_shift() : constant_interval_exprt
• rInclusiveOrExpr() : Parser
• rInitializeExpr() : Parser
• rinner_classes_attribute() : java_bytecode_parsert
• rIntegralDeclaration() : Parser
• rIntegralDeclStatement() : Parser
• rinterfaces() : java_bytecode_parsert
• rLinkageBody() : Parser
• rLinkageSpec() : Parser
• rlo_bit : statement_list_typecheckt::nesting_stack_entryt , statement_list_typecheckt
• rLogicalAndExpr() : Parser
• rLogicalOrExpr() : Parser
• rMemberInit() : Parser
• rMemberInitializers() : Parser
• rmethod() : java_bytecode_parsert
• rmethod_attribute() : java_bytecode_parsert
• rmethods() : java_bytecode_parsert
• rMSC_if_existsExpr() : Parser
• rMSC_if_existsStatement() : Parser
• rMSC_leaveStatement() : Parser
• rMSC_tryStatement() : Parser
• rMSCAsmStatement() : Parser
• rMSCuuidof() : Parser
• rMultiplyExpr() : Parser
• rName() : Parser
• rNamespaceSpec() : Parser
• rNewDeclarator() : Parser
• rNoexceptExpr() : Parser
• rNullDeclaration() : Parser
• root() : minisat_prooft
• root_clause : clauset
• root_object() : object_descriptor_exprt
• root_scope() : ansi_c_parsert , cpp_scopest , Parser
• rOperatorName() : Parser
• rotate_left() : smt_bit_vector_theoryt
• rotate_right() : smt_bit_vector_theoryt
• rOtherDeclaration() : Parser
• rOtherDeclStatement() : Parser
• round() : fixedbvt
• round_exponent() : float_bvt , float_utilst
• round_fraction() : float_bvt , float_utilst
• round_to_even : float_bvt::rounding_mode_bitst , float_utilst::rounding_mode_bitst
• ROUND_TO_EVEN : ieee_floatt
• round_to_minus_inf : float_bvt::rounding_mode_bitst , float_utilst::rounding_mode_bitst
• ROUND_TO_MINUS_INF : ieee_floatt
• round_to_plus_inf : float_bvt::rounding_mode_bitst , float_utilst::rounding_mode_bitst
• ROUND_TO_PLUS_INF : ieee_floatt
• round_to_zero : float_bvt::rounding_mode_bitst , float_utilst::rounding_mode_bitst
• ROUND_TO_ZERO : ieee_floatt
• rounder() : float_bvt , float_utilst
• rounding_mode : configt::ansi_ct , floatbv_typecast_exprt , ieee_float_op_exprt , ieee_floatt
• rounding_mode_bits : float_utilst
• rounding_mode_bitst() : float_bvt::rounding_mode_bitst , float_utilst::rounding_mode_bitst
• rounding_mode_expr() : ieee_floatt
• rounding_mode_is_not_set() : constants_evaluator
• rounding_mode_symbol : constants_evaluator
• rounding_modes : constants_evaluator
• rounding_modet : ieee_floatt
• rPmExpr() : Parser
• rPostfixExpr() : Parser
• rPrimaryExpr() : Parser
• rProgram() : Parser
• rPtrToMember() : Parser
• RRcumul : abstract_eventt
• rRelationalExpr() : Parser
• RRfence : abstract_eventt
• rRuntimeAnnotation() : java_bytecode_parsert
• rRuntimeAnnotation_attribute() : java_bytecode_parsert
• rShiftExpr() : Parser
• rSimpleDeclaration() : Parser
• rSizeofExpr() : Parser
• rStatement() : Parser
• rStaticAssert() : Parser
• rString() : Parser
• rSwitchStatement() : Parser
• rTempArgDeclaration() : Parser
• rTempArgList() : Parser
• rTemplateArgs() : Parser
• rTemplateDecl() : Parser
• rTemplateDecl2() : Parser
• rThrowExpr() : Parser
• rTryStatement() : Parser
• rTypedef() : Parser
• rTypedefStatement() : Parser
• rTypedefUsing() : Parser
• rTypeidExpr() : Parser
• rTypeName() : Parser
• rTypeNameOrFunctionType() : Parser
• rTypePredicate() : Parser
• rTypeSpecifier() : Parser
• rules : taint_parse_treet
• rulest : taint_parse_treet
• rulet() : taint_parse_treet::rulet
• run_as() : as_modet
• run_gcc() : gcc_modet
• run_gdb_from_core() : gdb_apit , gdb_value_extractort
• run_gdb_to_breakpoint() : gdb_apit , gdb_value_extractort
• run_ld() : ld_modet
• run_property_decider() : multi_path_symex_checkert , single_path_symex_checkert
• run_transformations() : complexity_limitert
• run_validation_checks : goto_symex_statet , symex_configt
• run_verifier() : api_sessiont
• rUnaryExpr() : Parser
• rUsing() : Parser
• rUsingOrTypedef() : Parser
• rVarName() : Parser
• rVarNameCore() : Parser
• rw_clock_id() : partial_order_concurrencyt
• rw_guarded_range_set_value_sett() : rw_guarded_range_set_value_sett
• rw_range_set_value_sett() : rw_range_set_value_sett
• rw_range_sett() : rw_range_sett
• rw_set_baset() : rw_set_baset
• rw_set_functiont() : rw_set_functiont
• rw_set_loct() : rw_set_loct
• rw_set_with_trackt() : rw_set_with_trackt
• RWcumul : abstract_eventt
• RWfence : abstract_eventt
• rWhileStatement() : Parser