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_entries
: rw_set_baset
- r_range_set
: rw_range_sett
- rAccessDecl()
: Parser
- rAdditiveExpr()
: Parser
- rAlignofExpr()
: Parser
- rAllocateExpr()
: Parser
- rAllocateInitializer()
: Parser
- rAllocateType()
: Parser
- rAndExpr()
: Parser
- range_typet()
: range_typet
- ranges_at_loct
: rd_range_domaint
- rangest
: rd_range_domaint
- rArgDeclaration()
: Parser
- rArgDeclList()
: Parser
- rArgDeclListOrInit()
: Parser
- RATIONAL
: c_typecastt
- rational_typet()
: rational_typet
- rationalt()
: rationalt
- rAttribute()
: Parser
- rBaseSpecifiers()
: Parser
- rbegin()
: sorted_vector< K, bNoDuplicates, Pr, A >
- 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_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
: is_threaded_domaint
- 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
, cpp_convert_typet
, goto_symext
, interpretert
, irept
, parsert
, path_symex_statet
, pointer_arithmetict
, reference_counting< T >
, sharing_nodet< keyT, valueT, predT, no_sharing >
- read_assert()
: cvc_dect
, dplib_dect
- read_buffer
: irep_serializationt
- read_bytes()
: java_bytecode_parsert
- read_counter
: instrumentert::cfg_visitort
- read_cvcl_result()
: cvc_dect
- read_delayed
: shared_bufferst::varst
- read_delayed_var
: shared_bufferst::varst
- read_dplib_result()
: dplib_dect
- read_from()
: memory_model_baset
- read_function_type()
: cpp_convert_typet
- read_gb_string()
: irep_serializationt
- read_gb_word()
: irep_serializationt
- read_in_atomic_section
: goto_symex_statet
- read_in_atomic_sectiont
: goto_symex_statet
- read_irep()
: irep_serializationt
- read_jar_file()
: java_class_loadert
- read_no_propagate()
: path_symex_statet
- read_object()
: dereferencet
- read_rec()
: ansi_c_convert_typet
, cpp_convert_typet
- read_result()
: smt2_dect
- read_result_boolector()
: smt1_dect
- read_result_cvc3()
: smt1_dect
- read_result_mathsat()
: smt1_dect
- read_result_opensmt()
: smt1_dect
- read_result_yices()
: smt1_dect
- read_result_z3()
: smt1_dect
- read_string_ref()
: irep_serializationt
- read_symbol_member_index()
: path_symex_statet
- read_template()
: cpp_convert_typet
- read_token()
: cpp_token_buffert
- read_trace()
: symex_slice_by_tracet
- read_u1()
: java_bytecode_parsert
- read_u2()
: java_bytecode_parsert
- read_u4()
: java_bytecode_parsert
- read_u8()
: java_bytecode_parsert
- read_verification_type_info()
: java_bytecode_parsert
- read_write_rec()
: _rw_set_loct
- reads
: partial_order_concurrencyt::a_rect
, simple_insertiont
- reads_per_variable
: event_grapht::graph_explorert
- REAL
: c_typecastt
- real()
: complex_exprt
- real_typet()
: real_typet
- reason
: 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
- record_step()
: path_symex_statet
- recursion_countert()
: recursion_countert
- recursion_map
: path_symex_statet
- recursion_mapt
: path_symex_statet
- recursion_set
: ai_baset
, flow_insensitive_analysis_baset
, goto_inlinet
, java_object_factoryt
, static_analysis_baset
- recursion_sett
: ai_baset
, flow_insensitive_analysis_baset
, goto_inlinet
, static_analysis_baset
- RECURSIVE
: cpp_scopet
- recursive_find()
: value_set_fivrt
- ref1
: java_bytecode_parsert::pool_entryt
- ref2
: java_bytecode_parsert::pool_entryt
- ref_count
: irept::dt
, reference_counting< T >::dt
- ref_expr_set_dt()
: ref_expr_set_dt
- reference
: sorted_vector< K, bNoDuplicates, Pr, A >
- reference_binding()
: cpp_typecheckt
- reference_compatible()
: cpp_typecheckt
- reference_convert()
: irep_serializationt
, xml_irep_convertt
- reference_counter
: mini_bdd_nodet
- reference_counting()
: reference_counting< T >
- reference_initializer()
: cpp_typecheckt
- reference_related()
: cpp_typecheckt
- reference_typet()
: reference_typet
- refined_string_typet()
: refined_string_typet
- refst
: member_offset_iterator
- regex_match
: java_class_loader_limitt
- regex_matcher
: java_class_loader_limitt
- register_languages()
: cbmc_parse_optionst
, goto_analyzer_parse_optionst
, goto_cc_modet
, goto_diff_languagest
, goto_fence_inserter_parse_optionst
, goto_instrument_parse_optionst
- register_observer()
: cover_goalst
- reinterpret_typecast()
: cpp_typecheckt
- rel()
: bv_utilst
- relation()
: float_bvt
, float_utilst
- relement_value_pair()
: java_bytecode_parsert
- relement_value_pairs()
: java_bytecode_parsert
- relt
: float_bvt
, float_utilst
- rem()
: float_utilst
- rem_exprt()
: rem_exprt
- remainder()
: bv_utilst
- remaining_vccs
: goto_symext
- remove()
: const_function_pointer_propagationt
, goto_symex_statet::propagationt
, invariant_sett
, irept
, symbol_tablet
- remove_args()
: const_function_pointer_propagationt::arg_stackt
- remove_asmt()
: remove_asmt
- remove_assignment()
: goto_convertt
- remove_child()
: sharing_nodet< keyT, valueT, predT, no_sharing >
- 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_extra()
: fence_insertert
- 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_l0_l1()
: graphml_witnesst
- remove_leaf()
: sharing_nodet< keyT, valueT, predT, no_sharing >
- remove_level_2()
: ssa_exprt
- remove_malloc()
: goto_convertt
- remove_object()
: cpp_typecheck_fargst
- remove_out_edges()
: grapht< N >
- remove_po_edge()
: event_grapht
- remove_post()
: goto_convertt
- remove_pre()
: goto_convertt
- remove_push_catch()
: goto_convertt
- remove_ref()
: irept
, reference_counting< T >
- 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_init_loopst()
: remove_static_init_loopst
- 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_symbol
: linkingt
- rename_symbols()
: linkingt
- rename_symbolt()
: rename_symbolt
- renamed_ids
: linkingt
- rend()
: sorted_vector< K, bNoDuplicates, Pr, A >
- render_by_file
: instrumentert
- render_by_function
: instrumentert
- render_po_aligned
: instrumentert
- rEnumBody()
: Parser
- rEnumSpec()
: Parser
- replace()
: constant_propagator_ait
- Replace()
: cpp_token_buffert
- replace()
: replace_symbol_extt
, replace_symbolt
- replace_array_equal()
: goto_symext
- replace_array_symbol()
: constant_propagator_ait
- replace_character_call()
: character_refine_preprocesst
- replace_const
: constant_propagator_domaint::valuest
- replace_const_symbols()
: remove_const_function_pointerst
- replace_goto_target()
: java_bytecode_convert_methodt
- replace_new_object()
: goto_convertt
- replace_nondet()
: goto_symext
- replace_return()
: goto_inlinet
- replace_returns()
: remove_returnst
- replace_string_macros()
: string_abstractiont
- replace_symbolt()
: replace_symbolt
- replace_types_rec()
: constant_propagator_ait
- replay()
: path_replayt
, prop_conv_storet::constraintst
, prop_conv_storet::constraintt
- replication_exprt()
: replication_exprt
- report()
: bmc_all_propertiest
, fault_localizationt
- report_cover()
: symex_parse_optionst
- report_failure()
: bmct
, clobber_parse_optionst
, symex_parse_optionst
- report_properties()
: symex_parse_optionst
- report_statistics()
: path_searcht
- report_success()
: bmct
, clobber_parse_optionst
, symex_parse_optionst
- representation
: format_tokent
- representationt
: bv_utilst
, format_tokent
- rEqualityExpr()
: Parser
- RES()
: restrictt
- reserve()
: sorted_vector< K, bNoDuplicates, Pr, A >
- reserve_operands()
: exprt
- reserved
: mz_stream_s
- reset()
: qbf_squolem_coret
- reset_assignment()
: cvc_propt
, dplib_propt
, smt1_propt
, smt2_propt
- reset_track_deref()
: rw_set_baset
, rw_set_with_trackt
- residue
: subsumed_patht
- resize()
: grapht< N >
, json_arrayt
, unsigned_union_find
- resolution_proof
: minisat_prooft
- resolve()
: const_function_pointer_propagationt
, cpp_typecheck_resolvet
, cpp_typecheckt
- resolve_identifierst
: cpp_typecheck_resolvet
- resolve_namespace()
: cpp_typecheck_resolvet
- resolve_references()
: xml_irep_convertt
- 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()
: goto_symex_statet::level1t
- restore_returns()
: remove_returnst
- restrict_cnt
: cpp_convert_typet
- restrict_traces()
: acceleratet
- restrictt()
: restrictt
- result()
: messaget
, property_checkert::property_statust
, smt2irept
- result_bv
: bv_refinementt::approximationt
- result_type
: bytecode_infot
- result_value
: bv_refinementt::approximationt
- resultt
: decision_proceduret
, property_checkert
, propt
, safety_checkert
- retain_trivial
: goto_checkt
- return_address
: check_call_sequencet::call_stack_entryt
- return_assignment()
: goto_symext
- return_from_function()
: path_symext
- return_function
: interpretert::stack_framet
- return_lhs
: path_symex_statet::framet
- return_location
: path_symex_statet::framet
- return_PC
: interpretert::stack_framet
- return_rhs
: path_symex_statet::framet
- return_set
: goto_convertt::targetst
- return_target
: goto_convertt::targetst
- return_type
: c_typecheck_baset
, code_typet
- return_value()
: code_returnt
, goto_symex_statet::framet
- RETURN_VALUE
: taint_parse_treet::rulet
- return_value_address
: interpretert::stack_framet
- returns_label()
: jsil_declarationt
- returns_value()
: jsil_declarationt
- reverse()
: automatont
, trace_automatont
- reverse_iterator
: sorted_vector< K, bNoDuplicates, Pr, A >
- 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
- 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_relation_exprt
, code_assignt
, ieee_float_op_exprt
- rIfStatement()
: Parser
- rInclusiveOrExpr()
: Parser
- rInitializeExpr()
: Parser
- 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
: bdd_exprt
, 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()
: bmct
, fault_localizationt
, pipe_streamt
- run_as()
: as_modet
- run_decision_procedure()
: bmct
, fault_localizationt
- run_gcc()
: gcc_modet
- 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_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