- r -
- r_opt()
: gdb_apit
- r_or()
: gdb_apit
- rAccessDecl()
: Parser
- rAdditiveExpr()
: Parser
- rAlignofExpr()
: Parser
- rAllocateExpr()
: Parser
- rAllocateInitializer()
: Parser
- rAllocateType()
: Parser
- rAndExpr()
: Parser
- range_domain_baset()
: range_domain_baset
- range_typet()
: range_typet
- ranget()
: ranget< iteratort >
- rArgDeclaration()
: Parser
- rArgDeclList()
: Parser
- rArgDeclListOrInit()
: Parser
- rational_typet()
: rational_typet
- rationalt()
: rationalt
- rAttribute()
: Parser
- 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
- read()
: _rw_set_loct
, ansi_c_convert_typet
, 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
, qualifierst
, reference_counting< T, empty >
, sharing_treet< derivedt, named_subtreest >
- read_bootstrapmethods_entry()
: java_bytecode_parsert
- read_container()
: sharing_nodet< keyT, valueT, equalT >
- 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_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_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
- 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_find()
: value_set_fivrt
- recursive_initializationt()
: recursive_initializationt
- 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()
: 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
, janalyzer_parse_optionst
, jdiff_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
- reinterpret_typecast()
: cpp_typecheckt
- rel()
: bv_utilst
- relation()
: float_bvt
, float_utilst
- relement_value_pairs()
: java_bytecode_parsert
- rem()
: float_utilst
- rem_exprt()
: rem_exprt
- remainder()
: bv_utilst
- remove()
: forward_list_as_mapt< keyt, mappedt >
, 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_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_id()
: smt2_parsert
- 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
- replace()
: address_of_aware_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_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
- 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
- RES()
: restrictt
- reserve_operands()
: exprt
- reset()
: qbf_squolem_coret
, small_shared_n_way_ptrt< Ts >
- 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()
: remove_const_function_pointerst
- resolve_with_arguments()
: cpp_typecheck_resolvet
- 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_returns()
: remove_returnst
- restrict_traces()
: acceleratet
- restrictt()
: restrictt
- result()
: messaget
- 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_type()
: code_typet
- return_value()
: code_returnt
- return_value_visitort()
: return_value_visitort
- returns_label()
: jsil_declarationt
- returns_value()
: jsil_declarationt
- reverse()
: automatont
, trace_automatont
- reverse_keyt()
: mini_bdd_mgrt::reverse_keyt
- rewrite_boolean()
: goto_convertt
- 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
- rhs()
: binary_exprt
, code_assignt
, ieee_float_op_exprt
, side_effect_expr_assignt
- rIfStatement()
: Parser
- 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
- rOtherDeclaration()
: Parser
- rOtherDeclStatement()
: Parser
- round()
: fixedbvt
- round_exponent()
: float_bvt
, float_utilst
- round_fraction()
: float_bvt
, float_utilst
- rounder()
: float_bvt
, float_utilst
- rounding_mode()
: floatbv_typecast_exprt
, ieee_float_op_exprt
- rounding_mode_bitst()
: float_bvt::rounding_mode_bitst
, float_utilst::rounding_mode_bitst
- 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
- rUnaryExpr()
: Parser
- rUsing()
: Parser
- rVarName()
: Parser
- rVarNameCore()
: Parser
- rw_clock_id()
: partial_order_concurrencyt
- rw_guarded_range_set_value_sett()
: rw_guarded_range_set_value_sett
- rw_ok_check()
: goto_checkt
- 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