Here is a list of all file members with links to the files they belong to:

- o -

• objcopy_command() : hybrid_binary.h , hybrid_binary.cpp
• object_factory() : java_object_factory.cpp , java_object_factory.h
• object_id_sett : object_id.h
• object_lower_bound() : pointer_predicates.cpp , pointer_predicates.h
• object_meet() : write_location_context.cpp
• object_numberingt : object_numbering.h
• object_size() : pointer_predicates.cpp , pointer_predicates.h
• object_upper_bound() : pointer_predicates.cpp , pointer_predicates.h
• objects_are_already_tracked() : object_tracking.cpp , object_tracking.h
• objects_read() : goto_program.cpp , goto_program.h , goto_program.cpp
• objects_written() : goto_program.cpp , goto_program.h
• octal_to_unsigned() : unescape_string.cpp , unescape_string.h
• of_argument() : array_pool.cpp , array_pool.h
• offset_is_zero() : c_safety_checks.cpp
• old_assignments() : instrument_contracts.cpp
• one_event_per_cycle : wmm.h
• onehot_lowering() : bitvector_expr.cpp
• OneSat() : miniBDD.cpp , miniBDD.h
• opcode : cegis.c
• opcodet : cegis.c
• open() : fcntl.c
• open64() : fcntl.c
• open_outfile_and_check() : solver_factory.cpp
• openat() : fcntl.c
• openat64() : fcntl.c
• openlog() : syslog.c
• OPERAND_SEPARATOR : expr2statement_list.cpp
• operands_are_of_type() : convert_expr_to_smt.cpp
• operator!() : interval.cpp
• operator!=() : xml.h , xml.cpp , lispexpr.h , small_shared_ptr.h , small_shared_n_way_ptr.h , reference_counting.h , lispexpr.h , interval_template.h , interval.cpp
• operator%() : interval.cpp
• operator&() : interval.cpp
• operator&=() : properties.cpp , properties.h , safety_checker.h
• operator*() : rational.h , interval.cpp
• operator+() : interval.cpp , rational.h
• operator-() : interval.cpp , rational.h
• operator-=() : guard_bdd.cpp , guard_expr.cpp
• operator/() : interval.cpp , rational.h
• operator<() : interval.cpp , small_shared_ptr.h , interval_template.h , symex_target_equation.h , symex_target.h , symex_target.cpp , reaching_definitions.h
• operator<<() : lispexpr.h , smt_to_smt2_string.cpp , json.h , interval_template.h , interval.cpp , ieee_float.h , help_formatter.h , format.h , endianness_map.h , dstring.h , smt_to_smt2_string.h , smt_to_smt2_string.cpp , cpp_id.cpp , symbol_table_base.cpp , use_catch.h , smt2irep.cpp , invariant.h , invariant.cpp , generic_parameter_specialization_map.h , xml.h , typecheck.h , threeval.h , threeval.cpp , symbol_table_base.h , mp_arith.cpp , symbol.h , symbol.cpp , source_location.h , source_location.cpp , small_shared_ptr.h , rational.h , rational.cpp , mp_arith.h , mp_arith.cpp , cpp_id.cpp , mini_c_parser.cpp , ctoken.h , ctoken.cpp , state_encoding_targets.h , axioms.h , cpp_scope.h , cpp_scope.cpp , cpp_id.h , smt2_tokenizer.h , gcc_version.h , gcc_version.cpp , designator.h , ansi_c_scope.h , locals.h , local_bitvector_analysis.h , goto_rw.h , dirty.h , cfg_dominators.h , ms_cl_version.cpp , smt_to_smt2_string.cpp , smt2_format.h , literal.h , literal.cpp , decision_procedure.h , goto_program.h , goto_program.cpp , abstract_event.h , rw_set.h , mini_c_parser.h , ms_cl_version.h , dfcc_contract_mode.cpp , dfcc_contract_mode.h , dump_c.cpp , horn_encoding.cpp , object_id.h , points_to.h
• operator<=() : interval.cpp , interval_template.h , small_shared_ptr.h
• operator==() : reference_counting.h , small_shared_n_way_ptr.h , lispexpr.h , small_shared_ptr.h , xml.cpp , xml.h , smt2irep.cpp , smt2irep.h , expr_iterator.h , lispexpr.h , string_constraint.cpp , string_constraint.h , interval.cpp , json.cpp , interval_template.h , json.h
• operator>() : interval.cpp , small_shared_ptr.h , interval_template.h
• operator>=() : interval.cpp , interval_template.h , small_shared_ptr.h
• operator>>() : interval.cpp , mp_arith.cpp , mp_arith.h
• operator^() : interval.cpp
• operators : cpp_typecheck_expr.cpp
• operator|() : interval.cpp
• operator|=() : guard_bdd.cpp , guard_expr.cpp , properties.cpp , properties.h , safety_checker.h
• opt : cegis.c
• OPT_AGGRESSIVE_SLICER : aggressive_slicer.h
• OPT_ANSI_C_LANGUAGE : ansi_c_language.h
• OPT_BMC : bmc_util.h
• OPT_CONFIG_BACKEND : config.h
• OPT_CONFIG_C_CPP : config.h
• OPT_CONFIG_JAVA : config.h
• OPT_CONFIG_LIBRARY : config.h
• OPT_CONFIG_PLATFORM : config.h
• OPT_COVER : cover.h
• OPT_DFCC : dfcc.h
• OPT_DOCUMENT_PROPERTIES : document_properties.h
• OPT_DUMP_C : dump_c.h
• OPT_DUMP_LOOP_CONTRACTS : dump_loop_contracts.h
• OPT_ENFORCE_CONTRACT_REC : dfcc.h
• OPT_FLUSH : ui_message.h
• OPT_FP_REACHABILITY_SLICER : reachability_slicer.h
• OPT_FUNCTIONS : language.h
• OPT_GOTO_CHECK : goto_check_c.h
• OPT_GOTO_PROGRAM_STATS : count_eloc.h
• OPT_GOTO_TRACE : goto_trace.h
• OPT_INSERT_FINAL_ASSERT_FALSE : insert_final_assert_false.h
• OPT_JAVA_GOTO_BINARY : java_bytecode_language.h
• OPT_JAVA_JAR : java_bytecode_language.h
• OPT_JAVA_TRACE_VALIDATION : java_trace_validation.h
• OPT_JSON_INTERFACE : json_interface.h
• OPT_NONDET_VOLATILE : nondet_volatile.h
• OPT_REACHABILITY_SLICER : reachability_slicer.h
• OPT_REMOVE_CALLS_NO_BODY : remove_calls_no_body.h
• OPT_REMOVE_CONST_FUNCTION_POINTERS : remove_const_function_pointers.h
• OPT_REMOVE_POINTERS : goto_program_dereference.h
• OPT_REPLACE_CALLS : replace_calls.h
• OPT_REPLACE_FUNCTION_BODY : generate_function_bodies.h
• OPT_RESTRICT_FUNCTION_POINTER : restrict_function_pointers.h
• OPT_SHOW_CLASS_HIERARCHY : class_hierarchy.h
• OPT_SHOW_GOTO_FUNCTIONS : show_goto_functions.h
• OPT_SHOW_PROPERTIES : show_properties.h
• OPT_SOLVER : solver_factory.h
• OPT_STRING_REFINEMENT : string_refinement.h
• OPT_STRING_REFINEMENT_CBMC : string_refinement.h
• OPT_TIMESTAMP : timestamper.h
• OPT_UNINITIALIZED_CHECK : uninitialized.h
• OPT_UNWINDSET : unwindset.h
• OPT_VALIDATE : validation_interface.h
• OPT_VSD : variable_sensitivity_domain.h
• OPT_WMM : weak_memory.h
• OPT_WMM_INSTRUMENTATION_STRATEGIES : weak_memory.h
• OPT_WMM_LIMITS : weak_memory.h
• OPT_WMM_LOOPS : weak_memory.h
• OPT_WMM_MEMORY_MODEL : weak_memory.h
• OPT_WMM_MISC : weak_memory.h
• OPT_XML_INTERFACE : xml_interface.h
• optarg : getopt.c
• OPTIMAL_FULL_ADDER : bv_utils.cpp
• optind : getopt.c
• OPTION_ID : smt_options.h , smt_options.cpp
• optional_lookup() : optional_utils.h
• options_no_arg : armcc_cmdline.cpp
• options_with_arg : armcc_cmdline.cpp
• options_with_prefix : armcc_cmdline.cpp
• OR : expr2statement_list.cpp
• or_fkt() : miniBDD.cpp
• or_values() : shadow_memory_util.cpp
• OTHER : goto_program.h
• OUT_OF_RANGE_MSG : convert_dint_literal.cpp , convert_int_literal.cpp
• OUTPUT : pair_collection.cpp
• output_common_var_declarations() : statement_list_parse_tree_io.cpp , statement_list_parse_tree_io.h
• output_constant() : statement_list_parse_tree_io.cpp
• output_coverage_report() : bmc_util.cpp , bmc_util.h
• output_dead_plain() : unreachable_instructions.cpp
• output_dot_generic() : graph.h
• output_error_trace() : bmc_util.cpp , bmc_util.h
• output_error_trace_with_fault_localization() : report_util.cpp , report_util.h
• output_fault_localization_plain() : report_util.cpp
• output_fault_localization_scores() : report_util.cpp
• output_fault_localization_xml() : report_util.cpp
• output_function() : statement_list_parse_tree_io.cpp , statement_list_parse_tree_io.h
• output_function_block() : statement_list_parse_tree_io.cpp , statement_list_parse_tree_io.h
• output_goals() : cover_goals_report_util.cpp , cover_goals_report_util.h
• output_goals_iterations() : cover_goals_report_util.cpp
• output_goals_json() : cover_goals_report_util.cpp
• output_goals_plain() : cover_goals_report_util.cpp
• output_goals_xml() : cover_goals_report_util.cpp
• output_graphml() : bmc_util.h , bmc_util.cpp
• output_incremental_status() : single_loop_incremental_symex_checker.cpp
• output_instruction() : statement_list_parse_tree_io.cpp , statement_list_parse_tree_io.h
• output_iterations() : report_util.cpp
• output_network() : statement_list_parse_tree_io.cpp , statement_list_parse_tree_io.h
• output_network_list() : statement_list_parse_tree_io.cpp , statement_list_parse_tree_io.h
• output_overall_result() : report_util.h , report_util.cpp
• output_parameter_assignment() : statement_list_parse_tree_io.cpp
• output_parse_tree() : statement_list_parse_tree_io.cpp , statement_list_parse_tree_io.h
• output_path() : path.cpp , path.h
• output_properties() : report_util.cpp , report_util.h
• output_properties_plain() : report_util.cpp
• output_properties_with_fault_localization() : report_util.cpp , report_util.h
• output_properties_with_traces() : report_util.cpp , report_util.h
• output_properties_with_traces_and_fault_localization() : report_util.cpp , report_util.h
• output_return_value() : statement_list_parse_tree_io.cpp , statement_list_parse_tree_io.h
• output_single_property_plain() : report_util.cpp
• output_static_var_declarations() : statement_list_parse_tree_io.cpp , statement_list_parse_tree_io.h
• output_tia_module_properties() : statement_list_parse_tree_io.cpp , statement_list_parse_tree_io.h
• output_var_declaration() : statement_list_parse_tree_io.cpp , statement_list_parse_tree_io.h
• output_var_declaration_list() : statement_list_parse_tree_io.cpp , statement_list_parse_tree_io.h
• output_vcd() : vcd_goto_trace.cpp , vcd_goto_trace.h
• overall_outcome() : report_properties.cpp , report_properties.h