- o -
- o_symbols
: linkingt::adjust_type_infot
- object
: jsont
, pointer_logict::pointert
, rw_set_baset::entryt
- object_bits
: bv_pointerst
- 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
- offset
: boolbv_widtht::membert
, interpretert::memory_cellt
, java_bytecode_parse_treet::methodt::verification_type_infot
, pointer_arithmetict
, pointer_logict::pointert
, value_set_fit::objectt
, value_set_fivrnst::objectt
, value_set_fivrt::objectt
, value_sett::objectt
- offset_bits
: bv_pointerst
- offset_delta
: java_bytecode_parse_treet::methodt::stack_map_table_entryt
- offset_is_set
: value_set_fit::objectt
, value_set_fivrnst::objectt
, value_set_fivrt::objectt
, value_sett::objectt
- ofstream_ptr
: cbmc_solverst::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
- old_working_directory
: temp_working_dirt
- 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
- operands
: cpp_typecheck_fargst
, printf_formattert
- operation
: abstract_eventt
- opt_sum
: pbs_dimacs_cnft
- optchar
: cmdlinet::optiont
- optimize
: pbs_dimacs_cnft
- option_map
: optionst
- options
: bmct
, cbmc_solverst
, cmdlinet
, fault_localizationt
, goto_program_dereferencet
, goto_symext
, static_analyzert
, value_set_dereferencet
- 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, predT >::delta_view_itemt
- out
: cvc_convt
, cvc_propt
, dimacs_cnf_dumpt
, document_propertiest
, dplib_convt
, dplib_propt
, graph_nodet< E >
, mm2cppt
, preprocessort
, smt1_convt
, smt1_propt
, smt2_convt
, smt2_propt
, stream_message_handlert
- out_pos
: instrumentert::cfg_visitort
- output_file_executable
: compilet
- output_file_object
: compilet
- 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