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

- o -

• obj_numbering_deref() : value_sett
• obj_numbering_ref() : value_sett
• object() : address_of_exprt, object_descriptor_exprt
• object_descriptor2t() : object_descriptor2t
• object_descriptor_exprt() : object_descriptor_exprt
• object_map_dt() : value_sett::object_map_dt
• object_rec() : pointer_logict
• object_type() : irept
• objectt() : value_sett::objectt
• obtain_max_sub_expr() : goto_cse
• of() : function_values
• offer_malloc_zero_null() : goto_symext
• offset() : object_descriptor_exprt
• offset2align() : value_sett
• offset_is_zero() : value_sett::objectt
• offset_pointer_arith_objects() : value_sett
• offsetof_type() : irept
• old() : with_exprt
• on_close_brace() : scope_walker
• on_open_brace() : scope_walker
• op() : typecast_exprt
• op0() : exprt
• op1() : exprt
• op2() : exprt
• op3() : exprt
• open_module_file() : module_locator
• operands() : 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!=() : expr2t, guard_seq, irep_idt, renaming::level2t::valuet, type2t, value_sett::entryt, value_sett::objectt
• operator%=() : fixedbvt
• 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*() : irep_container< T >, table_iterator< IsConst >, utf8_codepoint
• operator*=() : fixedbvt, ieee_floatt
• operator++() : BigInt, table_iterator< IsConst >
• operator+=() : fixedbvt, ieee_floatt, path
• operator-() : fixedbvt, ieee_floatt
• operator--() : BigInt, table_iterator< IsConst >
• operator-=() : fixedbvt, ieee_floatt
• operator->() : irep_container< T >, table_iterator< IsConst >
• operator/=() : fixedbvt, ieee_floatt
• operator<() : expr2t, goto_programt::instructiont, irep_idt, renaming::level1t::name_record, renaming::level2t::name_record, type2t
• operator<<() : irep_idt, sc_sensitive
• operator<=() : irep_idt
• 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==() : class_definition, expr2t, fixedbvt, function, guard_seq, irep_idt, renaming::level1t::name_record, renaming::level2t::name_record, renaming::level2t::valuet, solidity_convertert::func_sig, type2t, value_sett::entryt, value_sett::objectt
• operator>() : irep_idt
• operator>=() : irep_idt
• 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
• optimize_guarded_gotos() : goto_convertt
• optional_container_type() : python_converter
• or_exprt() : or_exprt
• outlive_scope() : python_converter
• 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, symex_target_equationt, symex_target_equationt::SSA_stept, symex_targett, value_set_domaint, value_sett, xmlt
• 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
• 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
• owned() : file_operations::file_data
• owned_copy_axes() : python_list