- o -
- o
: format_containert< T >
, smt2_format_containert< T >
- o_symbols
: linkingt::adjust_type_infot
- object
: json_streamt
, jsont
, pointer_logict::pointert
, rw_set_baset::entryt
- object_bits
: bv_pointerst
, configt::bv_encodingt
- object_factory_parameters
: java_bytecode_languaget
, java_object_factoryt
, java_simple_method_stubst
- object_factory_params
: ansi_c_languaget
, cpp_languaget
, jbmc_parse_optionst
, symbol_factoryt
- object_file_extension
: compilet
- object_files
: compilet
- object_map
: value_set_fit::entryt
, value_set_fivrnst::entryt
, value_set_fivrt::entryt
, value_sett::entryt
- object_numbering
: value_set_fit
, value_set_fivrnst
, value_set_fivrt
, value_sett
- object_sizes
: smt2_convt
- object_store
: invariant_propagationt
, invariant_sett
- object_type_updates
: linkingt
- objectives
: prop_minimizet
- objects
: local_may_aliast
, pointer_logict
- objmap
: value_set_fivrnst::object_map_dt
, value_set_fivrt::object_map_dt
- observers
: cover_goalst
- OCTAL_INTEGER
: format_specifiert
- offset
: boolbv_widtht::membert
, java_bytecode_parse_treet::methodt::verification_type_infot
, pointer_arithmetict
, pointer_logict::pointert
- offset_bits
: bv_pointerst
- offset_delta
: java_bytecode_parse_treet::methodt::stack_map_table_entryt
- ofstream_ptr
: solver_factoryt::solvert
- old_change_impact
: change_impactt
- old_dep_graph
: change_impactt
- old_goto_functions
: change_impactt
, unified_difft
- old_level1
: goto_symex_statet::framet
- old_map
: cpp_saved_template_mapt
- old_scope
: save_scopet
- old_stack_pointer
: interpretert::stack_framet
- old_symbol
: linkingt::adjust_type_infot
- on_get_writeable
: symbol_table_baset::iteratort
- only_resolve_const_fps
: remove_function_pointerst
- op
: bv_pointerst::postponedt
- op0_bv
: bv_refinementt::approximationt
- op0_value
: bv_refinementt::approximationt
- op1_bv
: bv_refinementt::approximationt
- op1_value
: bv_refinementt::approximationt
- op2_bv
: bv_refinementt::approximationt
- op2_value
: bv_refinementt::approximationt
- op_name
: operator_entryt
- opaque
: mz_stream_s
- opcode
: bytecode_infot
- open
: json_streamt
- operands
: cpp_typecheck_fargst
, printf_formattert
- operation
: abstract_eventt
- opt_sum
: pbs_dimacs_cnft
- optchar
: cmdlinet::optiont
- optimize
: pbs_dimacs_cnft
- option
: invalid_command_line_argument_exceptiont
- option_map
: optionst
- options
: bmct
, cmdlinet
, fault_localizationt
, goto_difft
, goto_program_dereferencet
, jdiff_parse_optionst
, language_uit
, rebuild_goto_start_function_baset< maybe_lazy_goto_modelt >
, scratch_programt
, solver_factoryt
- optstring
: cmdlinet::optiont
- order
: is_predecessor_oft
- original_full_lhs
: symex_target_equationt::SSA_stept
- original_scope
: cpp_typecheck_resolvet
- os
: configt::ansi_ct
- other
: ansi_c_convert_typet
, cpp_convert_typet
- other_m
: sharing_mapt< keyT, valueT, hashT, equalT >::delta_view_itemt
- out
: dimacs_cnf_dumpt
, document_propertiest
, graph_nodet< E >
, json_streamt
, preprocessort
, smt2_convt
, stream_message_handlert
, ui_message_handlert
- out_pos
: instrumentert::cfg_visitort
- outer_class
: java_bytecode_parse_treet::classt
- outer_symbol_table
: bmct
, goto_symext
- output_directory_object
: compilet
- output_file_executable
: compilet
- output_file_object
: compilet
- output_values
: interpretert
- output_xml
: bv_refinementt::configt
- output_xml_in_refinement
: solver_factoryt
- over_approximate
: float_approximationt
- over_assumptions
: bv_refinementt::approximationt
- over_state
: bv_refinementt::approximationt
- overflow_locs
: acceleratet
- overflow_path
: path_acceleratort
- overflow_var
: overflow_instrumentert
- override_language
: compilet