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

- o -

• o_location : exprt
• o_operands : exprt
• obj : goto_symext::allocated_obj
• obj_lookupt : pointer_logict
• obj_num_offset : pointer_logict
• obj_numbering_deref() : value_sett
• obj_numbering_ref() : value_sett
• obj_numbering_refset : value_sett
• objdesc : exprt
• object : __ESBMC_exception_detail::__ESBMC_exception_slot, __ESBMC_exception_detail::__ESBMC_handled_exception, address_of_exprt, dereference_callbackt::internal_item, object_descriptor2t, object_descriptor_exprt, pointer_logict::pointert, rw_sett::entryt
• object_descriptor2t() : object_descriptor2t
• object_descriptor_exprt() : object_descriptor_exprt
• object_map : value_sett::entryt
• object_map_dt() : value_sett::object_map_dt
• object_mapt : value_sett
• object_numbering : value_sett
• object_rec() : pointer_logict
• object_type() : irept
• objects : pointer_logict
• objectst : pointer_logict
• objectt() : value_sett::objectt
• obtain_max_sub_expr() : goto_cse
• of() : function_values
• off_type : std::char_traits< charT >
• offer_malloc_zero_null() : goto_symext
• offset : BytesDynamic, date_time, dereference_callbackt::internal_item, object_descriptor2t, object_descriptor_exprt, pointer_logict::pointert, value_sett::objectt
• offset2align() : value_sett
• offset_alignment : value_sett::objectt
• offset_is_set : value_sett::objectt
• offset_is_zero() : value_sett::objectt
• offset_pointer_arith_objects() : value_sett
• offsetof_type() : irept
• ok : preprocessor.path_dependent_attributes._Uses
• old : preprocessor.loop_mixin.LoopMixin, with_exprt
• old_name : preprocessor.ast_utils_mixin.AstUtilsMixin
• on_close_brace() : scope_walker
• on_open_brace() : scope_walker
• once_bound_names : preprocessor.class_context_mixin.ClassContextMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• onedig_t : BigInt
• op : dereferencet::modet, sideeffect_assign2t, typecast_exprt
• op0() : exprt
• op1() : exprt
• op2() : exprt
• op3() : exprt
• op_delegate : expr2t
• open_module_file() : module_locator
• operand : code_cpp_throw2t, numpy_nditer_item, overflow2t, overflow_cast2t, overflow_neg2t, sideeffect2t
• operands : code_block2t, code_cpp_catch2t, code_function_call2t, code_printf2t, exprt, numpy_nditer_state, printf_formattert
• operandst : exprt
• operator bool() : irep_container< T >, parse_result, path, smtlib_convt::file_emitter, smtlib_convt::process_emitter, source_position, utf8_byte_stream< std::basic_string_view< Char > >, utf8_byte_stream< std::istream >
• operator const char32_t &() : utf8_codepoint
• operator const const_map_iterator() : table_iterator< IsConst >
• operator const map_iterator &() : table_iterator< IsConst >
• operator const parse_error &() : parse_result
• operator const std::string &() : path_component
• operator const toml::table &() : parse_result
• operator parse_error &() : parse_result
• operator parse_error &&() : parse_result
• operator parse_result() : parser
• operator size_t() : path_component
• operator std::string() : path
• operator toml::table &() : parse_result
• operator toml::table &&() : parse_result
• operator! : tvt
• operator!= : array, c_qualifierst, date_time, expr2t, fixedbvt, guard_seq, ieee_float_spect, ieee_floatt, irep_container< T >, irep_idt, irept, literalt, path, path_component, renaming::level2t::valuet, source_position, table, table_iterator< IsConst >, time_offset, tvt, type2t, value_sett::entryt, value_sett::objectt
• operator% : interval_templatet< T >, wrapped_interval
• operator%=() : fixedbvt
• operator& : interval_templatet< T >, wrapped_interval
• operator&& : tvt
• operator()() : ai_baset, andersent, class_definition_hash, const_target_hash, esbmct::function_ref< R(Args...)>, format_constantt, function_hash, goto_functionst::id_string_order, irep2_hash, irep_full_eq, irep_full_hash, irep_hash, pointee_address_equalt, printf_formattert, renaming::level1t::name_rec_hash, renaming::level2t::name_rec_hash, sc_inout< T >, static_analysis_baset, std::hash< assert_pair >, std::hash< irep_idt >, string_view_equal, string_view_hash, ts_step_renamert, type2_hash, utf8_byte_stream< std::basic_string_view< Char > >, utf8_byte_stream< std::istream >
• operator* : interval_templatet< T >, irep_container< T >, table_iterator< IsConst >, utf8_codepoint, wrapped_interval
• operator*=() : fixedbvt, ieee_floatt
• operator+ : ieee_floatt, interval_templatet< T >, path, wrapped_interval
• operator++() : BigInt, table_iterator< IsConst >
• operator+=() : fixedbvt, ieee_floatt, path
• operator- : BigInt, fixedbvt, ieee_floatt, interval_templatet< T >, wrapped_interval
• operator--() : BigInt, table_iterator< IsConst >
• operator-=() : fixedbvt, guard2tc, ieee_floatt
• operator->() : irep_container< T >, table_iterator< IsConst >
• operator/ : interval_templatet< T >, wrapped_interval
• operator/=() : fixedbvt, ieee_floatt
• operator< : date_time, expr2t, exprt, fixedbvt, goto_programt::instructiont, ieee_floatt, irep_container< T >, irep_idt, irept, literalt, renaming::level1t::name_record, renaming::level2t::name_record, source_position, time_offset, type2t
• operator<< : array, date_time, ieee_floatt, irep_idt, irept, parse_result, path, sc_sensitive, source_position, source_region, table, time_offset, TOML_PARSE_ERROR_BASE, tvt, xmlt
• operator<= : date_time, fixedbvt, ieee_floatt, irep_container< T >, irep_idt, source_position, time_offset
• operator=() : array, BigInt, contextt, dereferencet::quantifier_scopet, execution_statet, file_operations::file_data, file_operations::tmp_dir_override, file_operations::tmp_file, file_operations::tmp_path, goto_programt::instructiont, goto_programt, goto_symex_statet::merge_statet, goto_symex_statet, goto_symext, guard2tc, host_rounding_mode, irep2t, irep_container< T >, irep_idt, irept, language_uit, parse_result, parsert, path, path_component, sc_inout< T >, sexpr, smtlib_convt::file_emitter, smtlib_convt::process_emitter, stack_budget_guardt< Tag >, stack_framet, symex_target_equationt::SSA_stept, table, table_iterator< IsConst >, value_sett::object_map_dt, value_sett
• operator== : array, c_qualifierst, class_definition, date_time, expr2t, fixedbvt, function, guard2tc, guard_seq, ieee_float_spect, ieee_floatt, irep_container< T >, irep_idt, irept, literalt, path, path_component, renaming::level1t::name_record, renaming::level2t::name_record, renaming::level2t::valuet, solidity_convertert::func_sig, source_position, table, table_iterator< IsConst >, time_offset, tvt, type2t, value_sett::entryt, value_sett::objectt
• operator> : date_time, fixedbvt, ieee_floatt, irep_container< T >, irep_idt, source_position, time_offset
• operator>= : date_time, fixedbvt, ieee_floatt, irep_container< T >, irep_idt, source_position, time_offset
• operator[]() : ait< domainT >, array, guard_seq, hash_numbering< T, hash_fkt >, irep_idt, parse_key_buffer, parse_result, path, static_analysist< T >, string_pool, table, value_sett::object_map_dt
• operator^ : interval_templatet< T >, wrapped_interval
• operator| : interval_templatet< T >, wrapped_interval
• operator|= : guard2tc
• operator|| : tvt
• optimize_guarded_gotos() : goto_convertt
• option_map : optionst
• option_mapt : optionst
• option_values : optionst
• optional_container_type() : python_converter
• options : bmct, configt, goto_checkt, goto_convertt, goto_inlinet, goto_program_dereferencet, goto_symext, group_opt_templ, minisat_convt, reachability_treet, smt_solver_baset
• options_map : cmdlinet
• options_mapt : cmdlinet
• optstring : opt_templ
• or_exprt() : or_exprt
• ordering : irept
• org_sigpipe_handler : smtlib_convt::process_emitter
• orig_func_ptr_call : goto_symex_statet::framet
• origin_file : edget
• original_expr : frame_enforcert::snapshot_entryt, rw_sett::entryt
• original_lhs : goto_trace_stept, symex_target_equationt::SSA_stept
• original_loop_exit : loopst
• original_loop_head : loopst
• original_rhs : symex_target_equationt::SSA_stept
• origins : preprocessor.check_type_lowering._Lowering
• os : configt::triple
• OTHER : c_typecastt
• out : esbmc_parseoptionst, messaget::statet
• out_stream : smtlib_convt::file_emitter, smtlib_convt::process_emitter
• OUT_var : ArithFBNode
• out_wires : UserFBExec, UserFBInstance
• outlive_scope() : python_converter
• OUTPUT : symex_targett
• output() : abstract_domain_baset, ai_baset, ai_domain_baset, cse_domaint, goto_functionst, goto_programt, goto_trace_stept, goto_tracet, html_report, interval_domaint, static_analysis_baset, subprocess.CalledProcessError, symex_target_equationt, symex_target_equationt::SSA_stept, symex_targett, value_set_domaint, value_sett, xmlt
• output_args : goto_trace_stept, symex_target_equationt::SSA_stept::output_datat
• output_count : symex_target_equationt
• output_data : symex_target_equationt::SSA_stept
• output_goto_program() : esbmc_parseoptionst
• output_instruction() : goto_programt::instructiont
• output_loop_vars_to() : loopst
• output_payload() : symex_target_equationt::SSA_stept
• output_shape() : numpy_random
• output_smt() : z3_convt
• output_to() : loopst
• output_vars : UserFBDef, UserFBExec
• over_join() : wrapped_interval
• over_meet() : wrapped_interval
• overflow2t() : overflow2t
• overflow_arith() : bitwuzla_convt, boolector_convt, smt_solver_baset, z3_convt
• overflow_cast() : smt_solver_baset
• overflow_cast2t() : overflow_cast2t
• overflow_check() : goto_checkt
• overflow_neg() : smt_solver_baset
• overflow_neg2t() : overflow_neg2t
• overloads() : module
• overrideMap : solidity_convertert
• overriden_map : clang_cpp_convertert
• owned() : file_operations::file_data
• owned_copy_axes() : python_list
• owner : execution_statet::ex_state_level2t