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

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

~

- 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_ok_exprt() : r_ok_exprt
• r_opt() : gdb_apit
• r_or() : gdb_apit
• r_or_w_ok_exprt() : r_or_w_ok_exprt
• 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 : index_range_iteratort, index_ranget, value_range_iteratort, value_ranget
• range_ : widened_ranget
• range_domain_baset() : range_domain_baset
• range_spect() : range_spect
• 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
• 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, value_set_domain_templatet< VST >
• reachable_from_assertion : reachability_slicert::slicer_entryt
• reaches_assertion : reachability_slicert::slicer_entryt
• 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_buffer : irep_serializationt
• 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_counter : instrumentert::cfg_visitort
• read_delayed : shared_bufferst::varst
• read_delayed_var : shared_bufferst::varst
• 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_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_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
• reads : partial_order_concurrencyt::a_rect
• reads_per_variable : event_grapht::graph_explorert
• reads_replaced : mm_iot
• 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
• reallocate_exprt() : reallocate_exprt
• reallocate_state_exprt() : reallocate_state_exprt
• reason : cprover_exception_baset, invariant_failedt
• receive() : piped_processt
• receive_response() : smt_base_solver_processt, smt_incremental_dry_run_solvert, smt_piped_solver_processt
• recfind_recursion_sett : value_set_fit
• recognize_wchar_t : cpp_parsert
• record() : functionst
• record_array_equality() : arrayst
• record_array_index() : arrayst
• record_array_let_binding() : 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
• recursion_set_entryt() : recursion_set_entryt
• recursion_sett : flow_insensitive_analysis_baset, goto_inlinet, recursive_initializationt, symbol_factoryt
• recursion_unwind_handlers : symex_bmct
• recursion_unwind_handlert : symex_bmct
• RECURSIVE : cpp_scopet
• recursive_call_regex : inlining_decoratort
• recursive_call_set : inlining_decoratort
• recursive_enumerator_placeholdert() : recursive_enumerator_placeholdert
• recursive_initialization : function_call_harness_generatort::implt
• recursive_initialization_config : function_call_harness_generatort::implt, memory_snapshot_harness_generatort
• recursive_initializationt() : recursive_initializationt
• red() : consolet, messaget
• redirectt() : consolet::redirectt
• reeval_operands() : constants_evaluator
• ref : framet
• 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 : cmdlinet::option_namest::option_names_iteratort, concat_iteratort< first_iteratort, second_iteratort >, const_post_depth_iteratort, dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >, depth_iterator_baset< depth_iterator_t >, filter_iteratort< iteratort >, get_or_create_reference_resultt, 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
• regex_str : functiont
• 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
• relationt : memory_snapshot_harness_generatort::preordert< Key >
• relement_value_pairs() : java_bytecode_parsert
• relt : float_bvt, float_utilst
• rem() : float_utilst
• remainder() : bv_utilst
• remaining_vccs : goto_symex_statet
• remove() : 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_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_returns_done : goto_instrument_parse_optionst
• remove_returnst() : remove_returnst
• remove_side_effect() : goto_convertt
• remove_statement_expression() : goto_convertt
• remove_static : c_wranglert::functiont, c_wranglert::objectt
• 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_main_symbol : linkingt
• RENAME_NEW : linkingt
• rename_new_symbol : linkingt
• RENAME_OLD : linkingt
• rename_ssa() : goto_symex_statet
• rename_symbols() : linkingt
• rename_symbolt() : rename_symbolt
• renamed_ids : linkingt
• renamedt() : renamedt< underlyingt, level >
• renamingt : linkingt
• 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
• repeat() : smt_bit_vector_theoryt
• Replace() : cpp_token_buffert
• replace() : address_of_aware_replace_symbolt, axiomst, casting_replace_symbolt, constant_propagator_ait, 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_can_forward_propagatet, constant_propagator_domaint::valuest
• 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 : loop_contracts_clauset
• 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_listt : replace_callst
• replacement_map : axiomst
• 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
• requires_fn_name : is_fresh_baset
• requires_pointer_primitive_check() : goto_check_ct
• requires_write_set : dfcc_wrapper_programt
• 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, messaget, 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
• 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() : 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 >
• response_stream : gdb_apit, smt_piped_solver_processt
• Restore() : cpp_token_buffert
• restore() : cpp_save_scopet, 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
• restrictions : function_pointer_restrictionst
• restrictionst : function_pointer_restrictionst
• restrictiont : function_pointer_restrictionst
• restrictt() : restrictt
• result : expr2stlt, messaget, side_effect_expr_overflowt, sort_based_cast_to_bit_vector_convertert, sort_based_literal_convertert, string_creation_builtin_functiont, string_format_builtin_functiont, string_insertion_builtin_functiont, string_test_builtin_functiont, string_transformation_builtin_functiont, value_expr_from_smt_factoryt
• result_bv : bv_refinementt::approximationt
• result_from : string_dependenciest::string_nodet
• result_type : bytecode_infot
• result_typet : abstract_equalert, abstract_hashert
• result_value : bv_refinementt::approximationt, case_exprt
• 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_check_ct
• 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_lhs : state_encodingt
• return_pc : interpretert::stack_framet
• return_set : goto_convertt::targetst
• 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_target : goto_convertt::targetst
• return_type : c_typecheck_baset, code_typet, statement_list_parse_treet::functiont
• RETURN_VALUE : taint_parse_treet::rulet
• return_value() : code_frontend_returnt, code_returnt, goto_programt::instructiont
• return_value_address : interpretert::stack_framet
• return_value_opt : dfcc_wrapper_programt
• return_value_symbol : framet
• return_WS_and_comments : cscannert
• 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_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 : assignmentt, binary_exprt, code_assignt, code_frontend_assignt, framet::implicationt, ieee_float_op_exprt, left_and_right_valuest, side_effect_expr_assignt, side_effect_expr_overflowt
• rIfStatement() : Parser
• right : left_and_right_valuest
• right_depth_below_common_ancestor : ancestry_resultt
• 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
• 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 : const_depth_iterator_range_adaptert, const_post_depth_iterator_range_adaptert, minisat_prooft
• root_clause : clauset
• root_object() : object_descriptor_exprt
• root_scope() : ansi_c_parsert, cpp_scopest, Parser
• 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_AWAY : ieee_floatt
• round_to_away : float_bvt::rounding_mode_bitst, float_utilst::rounding_mode_bitst
• ROUND_TO_EVEN : ieee_floatt
• round_to_even : float_bvt::rounding_mode_bitst, float_utilst::rounding_mode_bitst
• round_to_integral() : float_utilst, ieee_floatt
• ROUND_TO_MINUS_INF : ieee_floatt
• round_to_minus_inf : float_bvt::rounding_mode_bitst, float_utilst::rounding_mode_bitst
• ROUND_TO_PLUS_INF : ieee_floatt
• round_to_plus_inf : float_bvt::rounding_mode_bitst, float_utilst::rounding_mode_bitst
• ROUND_TO_ZERO : ieee_floatt
• round_to_zero : float_bvt::rounding_mode_bitst, float_utilst::rounding_mode_bitst
• rounder() : float_bvt, float_utilst
• rounding_mode : configt::ansi_ct, floatbv_fma_exprt, floatbv_round_to_integral_exprt, 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_mode_expr() : ieee_floatt
• rounding_mode_is_not_set() : constants_evaluator
• rounding_mode_symbol : constants_evaluator
• rounding_modes : constants_evaluator
• 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_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
• 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
• RWcumul : abstract_eventt
• RWfence : abstract_eventt
• rWhileStatement() : Parser