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

- r -

• r_ok_exprt() : r_ok_exprt
• r_opt() : gdb_apit
• r_or() : gdb_apit
• r_or_w_ok_exprt() : r_or_w_ok_exprt
• rAccessDecl() : Parser
• rAdditiveExpr() : Parser
• rAlignofExpr() : Parser
• rAllocateExpr() : Parser
• rAllocateInitializer() : Parser
• rAllocateType() : Parser
• rAndExpr() : Parser
• range_domain_baset() : range_domain_baset
• range_spect() : range_spect
• range_typet() : range_typet
• ranget() : ranget< iteratort >
• rArgDeclaration() : Parser
• rArgDeclList() : Parser
• rArgDeclListOrInit() : Parser
• 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_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
• 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_component() : abstract_aggregate_objectt< aggregate_typet, aggregate_traitst >, full_array_abstract_objectt, full_struct_abstract_objectt
• read_container() : sharing_nodet< keyT, valueT, equalT >
• 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_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
• 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
• receive() : piped_processt
• receive_response() : smt_base_solver_processt, smt_incremental_dry_run_solvert, smt_piped_solver_processt
• record() : functionst
• record_array_equality() : arrayst
• record_array_index() : arrayst
• record_path() : disjunctive_polynomial_accelerationt, sat_path_enumeratort
• recursion_set_entryt() : recursion_set_entryt
• recursive_enumerator_placeholdert() : recursive_enumerator_placeholdert
• recursive_initializationt() : recursive_initializationt
• red() : consolet
• redirectt() : consolet::redirectt
• reeval_operands() : constants_evaluator
• ref_expr_set_dt() : ref_expr_set_dt
• reference_allocationt() : reference_allocationt
• reference_binding() : cpp_typecheckt
• reference_compatible() : cpp_typecheckt
• reference_convert() : irep_serializationt
• reference_counting() : reference_counting< T, empty >
• reference_initializer() : cpp_typecheckt
• reference_related() : cpp_typecheckt
• reference_typet() : reference_typet
• refined_string_exprt() : refined_string_exprt
• refined_string_typet() : refined_string_typet
• 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
• relement_value_pairs() : java_bytecode_parsert
• rem() : float_utilst
• remainder() : bv_utilst
• remove() : invariant_sett, irept, symbol_table_baset
• 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_returnst() : remove_returnst
• remove_side_effect() : goto_convertt
• remove_statement_expression() : goto_convertt
• 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
• rename() : goto_symex_statet, linkingt, rename_symbolt
• rename_address() : goto_symex_statet
• rename_ssa() : goto_symex_statet
• rename_symbols() : linkingt
• rename_symbolt() : rename_symbolt
• renamedt() : renamedt< underlyingt, level >
• rend() : fixed_keys_map_wrappert< mapt >
• rEnumBody() : Parser
• rEnumSpec() : Parser
• 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_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_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_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
• rEqualityExpr() : Parser
• require_instructions_equal() : require_parse_tree::expected_instructiont
• require_one_size_value() : function_call_harness_generatort
• requires_pointer_primitive_check() : goto_check_ct
• RES() : restrictt
• reserve_operands() : exprt
• reset() : consolet, constant_index_ranget, empty_index_ranget, empty_value_ranget, framet, indeterminate_index_ranget, index_range_implementationt, interval_index_ranget, 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
• resize() : grapht< N >, json_arrayt, sparse_vectort< T >, unsigned_union_find
• resize_if_necessary() : nfat< T >
• resolve() : cpp_typecheck_resolvet, cpp_typecheckt
• resolve_argument() : 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 >
• 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
• restrictt() : restrictt
• result() : messaget, side_effect_expr_overflowt
• resultt() : incremental_goto_checkert::resultt, simplify_exprt::resultt< T >
• resume() : symex_bmc_incremental_one_loopt
• resume_path() : single_path_symex_only_checkert
• resume_symex_from_saved_state() : goto_symext
• 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_type() : code_typet
• return_value() : code_frontend_returnt, code_returnt, goto_programt::instructiont
• reverse() : automatont, trace_automatont
• reverse_keyt() : mini_bdd_mgrt::reverse_keyt
• rewrite_boolean() : goto_convertt
• rewrite_calls() : dfcc_is_freeablet, dfcc_is_fresht, dfcc_obeys_contractt, dfcc_pointer_equalst, 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() : binary_exprt, code_assignt, code_frontend_assignt, ieee_float_op_exprt, side_effect_expr_assignt, side_effect_expr_overflowt
• rIfStatement() : Parser
• 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
• 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_object() : object_descriptor_exprt
• root_scope() : ansi_c_parsert
• rOperatorName() : Parser
• rotate_left() : smt_bit_vector_theoryt
• rotate_right() : smt_bit_vector_theoryt
• rOtherDeclaration() : Parser
• rOtherDeclStatement() : Parser
• round() : fixedbvt
• round_and_pack() : float_utilst
• round_exponent() : float_bvt, float_utilst
• round_fraction() : float_bvt, float_utilst
• round_to_integral() : float_utilst, ieee_floatt
• rounder() : float_bvt, float_utilst
• rounding_mode() : floatbv_round_to_integral_exprt, floatbv_typecast_exprt, ieee_float_op_exprt, ieee_floatt
• 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
• rPmExpr() : Parser
• rPostfixExpr() : Parser
• rPrimaryExpr() : Parser
• rProgram() : Parser
• rPtrToMember() : Parser
• rRelationalExpr() : Parser
• 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
• 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_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
• rWhileStatement() : Parser