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_opt()
: gdb_apit
- r_or()
: gdb_apit
- 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_domain_baset()
: range_domain_baset
- 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
- 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
: 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
- reachable_from_assertion
: reachability_slicert::slicer_entryt
- reaches_assertion
: reachability_slicert::slicer_entryt
- 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_buffer
: irep_serializationt
- read_container()
: sharing_nodet< keyT, valueT, equalT >
- read_counter
: instrumentert::cfg_visitort
- read_delayed
: shared_bufferst::varst
- read_delayed_var
: shared_bufferst::varst
- 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_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_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
- 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
- reason
: analysis_exceptiont
, function_pointer_restrictionst::invalid_restriction_exceptiont
, gdb_interaction_exceptiont
, invalid_command_line_argument_exceptiont
, invalid_source_file_exceptiont
, invariant_failedt
- recfind_recursion_sett
: value_set_fit
, value_set_fivrt
- 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
, static_analysis_baset
- recursion_set_entryt()
: recursion_set_entryt
- recursion_sett
: flow_insensitive_analysis_baset
, goto_inlinet
, recursive_initializationt
, static_analysis_baset
, symbol_factoryt
- recursion_unwind_handlers
: symex_bmct
- recursion_unwind_handlert
: symex_bmct
- RECURSIVE
: cpp_scopet
- recursive_find()
: value_set_fivrt
- recursive_initialization
: function_call_harness_generatort::implt
- recursive_initialization_config
: function_call_harness_generatort::implt
, memory_snapshot_harness_generatort
- recursive_initializationt()
: recursive_initializationt
- red
: messaget
- 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
: concat_iteratort< first_iteratort, second_iteratort >
, 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
- 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
- relationt
: memory_snapshot_harness_generatort::preordert< Key >
- relement_value_pairs()
: java_bytecode_parsert
- relt
: float_bvt
, float_utilst
- rem()
: float_utilst
- rem_exprt()
: rem_exprt
- remainder()
: bv_utilst
- remaining_vccs
: goto_symex_statet
- remove()
: forward_list_as_mapt< keyt, mappedt >
, 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_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_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_id()
: smt2_parsert
- rename_ssa()
: goto_symex_statet
- rename_symbol
: linkingt
- rename_symbols()
: linkingt
- rename_symbolt()
: rename_symbolt
- renamed_ids
: linkingt
- renamedt()
: renamedt< underlyingt, level >
- renaming_counters
: smt2_parsert
- renaming_counterst
: smt2_parsert
- renaming_map
: smt2_parsert
- renaming_mapt
: smt2_parsert
- 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
- 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
: constant_propagator_domaint::valuest
, constant_propagator_is_constantt
- 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_listt
: replace_callst
- 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
- RES()
: restrictt
- reserve_operands()
: exprt
- reserved
: mz_stream_s
- reset
: messaget
, qbf_squolem_coret
, small_shared_n_way_ptrt< Ts >
- 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()
: remove_const_function_pointerst
- resolve_with_arguments()
: cpp_typecheck_resolvet
- response_stream
: gdb_apit
- 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
- restrictions
: function_pointer_restrictionst
- restrictionst
: function_pointer_restrictionst
- restrictiont
: function_pointer_restrictionst
- restrictt()
: restrictt
- result
: expr2stlt
, messaget
, string_creation_builtin_functiont
, string_format_builtin_functiont
, string_insertion_builtin_functiont
, string_test_builtin_functiont
, string_transformation_builtin_functiont
- result_bv
: bv_refinementt::approximationt
- result_from
: string_dependenciest::string_nodet
- result_type
: bytecode_infot
- 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_checkt
- 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_pc
: interpretert::stack_framet
- return_set
: goto_convertt::targetst
- return_target
: goto_convertt::targetst
- return_type
: c_typecheck_baset
, code_typet
, statement_list_parse_treet::functiont
- return_value()
: code_returnt
, framet
- RETURN_VALUE
: taint_parse_treet::rulet
- return_value_address
: interpretert::stack_framet
- return_value_visitort()
: return_value_visitort
- returns_label()
: jsil_declarationt
- returns_value()
: jsil_declarationt
- 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_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
: assignmentt
, binary_exprt
, code_assignt
, ieee_float_op_exprt
, side_effect_expr_assignt
- rIfStatement()
: Parser
- right_depth_below_common_ancestor
: ancestry_resultt
- 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
- 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_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_apply
: field_sensitivityt
- 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
- 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
- RWcumul
: abstract_eventt
- RWfence
: abstract_eventt
- rWhileStatement()
: Parser