- r -
- rAccessDecl()
: Parser
- rAdditiveExpr()
: Parser
- rAlignofExpr()
: Parser
- rAllocateExpr()
: Parser
- rAllocateInitializer()
: Parser
- rAllocateType()
: Parser
- rAndExpr()
: Parser
- range_typet()
: range_typet
- rArgDeclaration()
: Parser
- rArgDeclList()
: Parser
- rArgDeclListOrInit()
: Parser
- 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_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
, 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_bytes()
: java_bytecode_parsert
- read_cvcl_result()
: cvc_dect
- 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_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
- real()
: complex_exprt
- real_typet()
: real_typet
- record()
: functionst
- record_array_equality()
: arrayst
- record_array_index()
: arrayst
- record_path()
: disjunctive_polynomial_accelerationt
, sat_path_enumeratort
- record_step()
: path_symex_statet
- recursion_countert()
: recursion_countert
- recursive_find()
: value_set_fivrt
- ref_expr_set_dt()
: ref_expr_set_dt
- reference_binding()
: cpp_typecheckt
- reference_compatible()
: cpp_typecheckt
- reference_convert()
: irep_serializationt
, xml_irep_convertt
- reference_counting()
: reference_counting< T >
- reference_initializer()
: cpp_typecheckt
- reference_related()
: cpp_typecheckt
- reference_typet()
: reference_typet
- refined_string_typet()
: refined_string_typet
- 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
- rem()
: float_utilst
- rem_exprt()
: rem_exprt
- remainder()
: bv_utilst
- 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_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_symbols()
: linkingt
- rename_symbolt()
: rename_symbolt
- rend()
: sorted_vector< K, bNoDuplicates, Pr, A >
- 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_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
- rEqualityExpr()
: Parser
- RES()
: restrictt
- reserve()
: sorted_vector< K, bNoDuplicates, Pr, A >
- reserve_operands()
: exprt
- reset()
: qbf_squolem_coret
- reset_assignment()
: cvc_propt
, dplib_propt
, smt1_propt
, smt2_propt
- reset_track_deref()
: rw_set_baset
, rw_set_with_trackt
- resize()
: grapht< N >
, json_arrayt
, unsigned_union_find
- resolve()
: const_function_pointer_propagationt
, cpp_typecheck_resolvet
, cpp_typecheckt
- 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_traces()
: acceleratet
- restrictt()
: restrictt
- result()
: messaget
- return_assignment()
: goto_symext
- return_from_function()
: path_symext
- return_type()
: code_typet
- return_value()
: code_returnt
- 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
- 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()
: 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()
: 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
- rWhileStatement()
: Parser