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

- o -

• o_location : exprt
• o_operands : exprt
• obj : goto_symext::allocated_obj
• obj_num_offset : pointer_logict
• obj_numbering_refset : value_sett
• objdesc : exprt
• object : __ESBMC_exception_detail::__ESBMC_exception_slot, __ESBMC_exception_detail::__ESBMC_handled_exception, dereference_callbackt::internal_item, object_descriptor2t, pointer_logict::pointert, rw_sett::entryt
• object_map : value_sett::entryt
• object_numbering : value_sett
• objects : pointer_logict
• offset : BytesDynamic, date_time, dereference_callbackt::internal_item, object_descriptor2t, pointer_logict::pointert, value_sett::objectt
• offset_alignment : value_sett::objectt
• offset_is_set : value_sett::objectt
• ok : preprocessor.path_dependent_attributes._Uses
• old : preprocessor.loop_mixin.LoopMixin
• old_name : preprocessor.ast_utils_mixin.AstUtilsMixin
• once_bound_names : preprocessor.class_context_mixin.ClassContextMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• op : dereferencet::modet, sideeffect_assign2t
• operand : code_cpp_throw2t, numpy_nditer_item, overflow2t, overflow_cast2t, overflow_neg2t, sideeffect2t
• operands : code_block2t, code_cpp_catch2t, code_function_call2t, code_printf2t, numpy_nditer_state, printf_formattert
• option_map : optionst
• option_values : optionst
• 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
• optstring : opt_templ
• 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
• out : esbmc_parseoptionst, messaget::statet
• out_stream : smtlib_convt::file_emitter, smtlib_convt::process_emitter
• OUT_var : ArithFBNode
• out_wires : UserFBExec, UserFBInstance
• output : subprocess.CalledProcessError
• 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_vars : UserFBDef, UserFBExec
• overrideMap : solidity_convertert
• owner : execution_statet::ex_state_level2t