Here is a list of all file members with links to the files 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 : irep_hash.h
• race_check() : race_check.cpp, race_check.h
• rate() : symex_coverage.cpp
• rate_detailed() : symex_coverage.cpp
• reachability_slicer() : reachability_slicer.cpp, reachability_slicer.h
• reachable_fixpoint() : fatal_assertions.cpp
• reachable_functions() : unreachable_instructions.cpp, unreachable_instructions.h
• read_bin_functions_object() : read_bin_goto_object.cpp
• read_bin_goto_object() : read_bin_goto_object.cpp, read_bin_goto_object.h
• read_bin_symbol_table_object() : read_bin_goto_object.cpp
• read_first : wmm.h
• read_goto_binary() : read_goto_binary.cpp, read_goto_binary.h
• read_graphml() : graphml.cpp, graphml.h
• read_object_and_link() : read_goto_binary.cpp
• read_objects_and_link() : read_goto_binary.cpp, read_goto_binary.h
• record_exception() : java_entry_point.cpp
• record_function_outputs() : ansi_c_entry_point.cpp
• record_pointer_parameters() : java_entry_point.cpp
• record_return_value() : java_entry_point.cpp
• recreate_initialize_function() : static_lifetime_init.cpp, static_lifetime_init.h
• REFERENCE_FLAG : expr2statement_list.cpp
• reference_type() : c_types.cpp, c_types.h
• references_class_model() : ci_lazy_methods.cpp
• register_child() : signal_catcher.cpp, signal_catcher.h
• register_chrdev() : modules.h
• register_language() : mode.cpp, mode.h
• remove_array_type_l2() : shadow_memory_util.cpp
• remove_asm() : remove_asm.cpp, remove_asm.h
• remove_complex() : remove_complex.cpp, remove_complex.h
• remove_const() : type.cpp, type.h
• remove_dead_object_assignment() : dfcc_infer_loop_assigns.cpp
• remove_exceptions() : remove_exceptions.cpp, remove_exceptions.h
• remove_exceptions_using_instanceof() : remove_exceptions.cpp, remove_exceptions.h
• remove_existing_entry_point() : rebuild_goto_start_function.cpp, rebuild_goto_start_function.h
• remove_function() : remove_function.cpp, remove_function.h
• remove_function_pointer() : remove_function_pointers.cpp, remove_function_pointers.h
• remove_function_pointers() : remove_function_pointers.cpp, remove_function_pointers.h
• remove_functions() : remove_function.cpp, remove_function.h
• remove_functions_regex() : remove_function.cpp, remove_function.h
• remove_instanceof() : remove_instanceof.cpp, remove_instanceof.h
• remove_internal_symbols() : remove_internal_symbols.cpp, remove_internal_symbols.h
• remove_java_new() : remove_java_new.cpp, remove_java_new.h
• remove_l1_object_rec() : symex_dead.cpp
• remove_level_2() : ssa_expr.cpp, ssa_expr.h
• remove_pointers() : goto_program_dereference.cpp, goto_program_dereference.h
• remove_preconditions() : instrument_preconditions.cpp, instrument_preconditions.h
• remove_repetition() : cover_instrument_mcdc.cpp
• remove_returns() : remove_returns.cpp, remove_returns.h
• remove_signal_catcher() : signal_catcher.cpp, signal_catcher.h
• remove_skip() : remove_skip.cpp, remove_skip.h
• remove_unreachable() : remove_unreachable.cpp, remove_unreachable.h
• remove_unused_functions() : remove_unused_functions.cpp, remove_unused_functions.h
• remove_vector() : remove_vector.cpp, remove_vector.h
• remove_virtual_function() : remove_virtual_functions.cpp, remove_virtual_functions.h
• remove_virtual_functions() : remove_virtual_functions.cpp, remove_virtual_functions.h
• rename_symbols_in_function() : link_goto_model.cpp
• replace() : string_constraint.cpp, string_constraint.h
• replace_expr() : replace_expr.cpp, replace_expr.h
• replace_expr_copy() : string_refinement.cpp
• replace_function_calls_by_contracts() : instrument_contracts.cpp
• replace_history_loop_entry() : utils.cpp, utils.h
• replace_history_old() : utils.cpp, utils.h
• replace_history_parameter_rec() : utils.cpp
• replace_invalid_object_by_null() : shadow_memory_util.cpp, shadow_memory_util.h
• replace_java_nondet() : replace_java_nondet.cpp, replace_java_nondet.h
• replace_location() : goto_inline_class.cpp
• replace_mapt : replace_expr.h
• replace_nondet() : symex_clean_expr.cpp
• replace_nondet_in_type() : build_goto_trace.cpp
• replace_old() : instrument_contracts.cpp
• replace_source_location() : instrument_contracts.cpp
• replace_string_constants_rec() : xml_goto_trace.cpp
• replace_tmp_post() : enumerative_loop_contracts_synthesizer.cpp
• replace_typecast_of_bool() : constant_propagator.cpp
• replace_virtual_function_with_dispatch_table() : remove_virtual_functions.cpp
• replacement_conjunction() : cover_instrument_mcdc.cpp
• report_error() : report_util.cpp, report_util.h
• report_exception_to_stderr() : invariant.cpp, invariant.h
• report_failure() : report_util.cpp, report_util.h
• report_inconclusive() : report_util.cpp, report_util.h
• report_invariant_failure() : invariant.h
• report_properties() : report_properties.cpp, report_properties.h
• report_success() : report_util.cpp, report_util.h
• report_traces() : report_traces.cpp, report_traces.h
• represents_interval() : interval_abstract_value.cpp
• require_java_generic_type_argument_expectation() : require_type.cpp
• require_vectors_equal_unordered() : require_vectors_equal_unordered.h
• requires_renaming() : goto_symex_state.cpp
• resolve_friendly_method_name() : java_utils.cpp, java_utils.h
• resolve_pointer_name() : restrict_function_pointers.cpp
• RESPONSE_ID : smt_responses.cpp
• restore_returns() : remove_returns.cpp, remove_returns.h
• restore_union() : rewrite_union.cpp, rewrite_union.h
• restore_union_rec() : rewrite_union.cpp
• restrict() : miniBDD.cpp, miniBDD.h
• RESTRICT_FUNCTION_POINTER_BY_NAME_OPT : restrict_function_pointers.h
• RESTRICT_FUNCTION_POINTER_FROM_FILE_OPT : restrict_function_pointers.h
• RESTRICT_FUNCTION_POINTER_OPT : restrict_function_pointers.h
• restrict_function_pointers() : restrict_function_pointers.cpp, restrict_function_pointers.h
• result_symbol() : c_typecheck_gcc_polymorphic_builtins.cpp
• result_to_exit_code() : properties.cpp, properties.h
• resultt : properties.h
• return_value_identifier() : remove_returns.cpp, remove_returns.h
• RETURN_VALUE_SUFFIX : remove_returns.cpp
• return_value_symbol() : remove_returns.cpp, remove_returns.h
• revert_slice() : slice.cpp, slice.h
• rewrite_assignment() : wp.cpp
• rewrite_equal_exprt_to_pointer_equals() : dfcc_pointer_equals.cpp, dfcc_pointer_equals.h
• rewrite_rw_ok() : rewrite_rw_ok.cpp, rewrite_rw_ok.h
• rewrite_union() : rewrite_union.cpp, rewrite_union.h
• rewrite_union_address_of() : rewrite_union.cpp
• RMO : wmm.h
• root_objects_rec() : dfcc_root_object.cpp
• rotate_left() : mp_arith.cpp, mp_arith.h
• rotate_right() : mp_arith.cpp, mp_arith.h
• round_expr_to_zero() : string_constraint_generator_float.cpp
• rounding_mode_identifier() : adjust_float_expressions.cpp, adjust_float_expressions.h
• run() : run.cpp, run.h
• run_property_decider() : bmc_util.cpp, bmc_util.h
• run_symtab2gb() : symtab2gb_parse_options.cpp
• run_test_with_compilers() : run_test_with_compilers.cpp, run_test_with_compilers.h
• runtime_type() : assignments_from_json.cpp