- o -

• o : format_containert< T > , smt2_format_containert< T >
• o_symbols : linkingt::adjust_type_infot
• object : abstract_objectt::combine_result , json_streamt , jsont , pointer_logict::pointert , rw_set_baset::entryt
• object_address_exprs : axiomst
• object_bits : configt::bv_encodingt
• object_factory : abstract_environmentt , variable_sensitivity_dependence_domain_factoryt , variable_sensitivity_domain_factoryt
• object_factory_parameters : havoc_generate_function_bodiest , 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 : smt2_incremental_decision_proceduret , value_set_fit::entryt , value_sett::entryt
• object_numbering : value_set_fit , value_sett
• object_properties_defined : smt2_incremental_decision_proceduret
• object_size_exprs : axiomst
• object_size_function : smt2_incremental_decision_proceduret
• object_sizes : cext , smt2_convt
• object_store : invariant_propagationt , invariant_sett
• object_type_updates : linkingt
• objectives : prop_minimizet
• objects : c_wranglert , local_may_aliast , pointer_logict
• objects_memory_usage : abstract_object_statisticst
• obligations : framet
• obligations_set : framet
• observers : cover_goalst
• OCTAL_INTEGER : format_specifiert
• offset : boolbv_widtht::membert , dense_integer_mapt< K, V, KeyToDenseInteger > , java_bytecode_parse_treet::methodt::verification_type_infot , offset_entryt , osx_mach_o_readert::sectiont , pointer_arithmetict , pointer_logict::pointert
• offset_delta : java_bytecode_parse_treet::methodt::stack_map_table_entryt
• ofstream_ptr : solver_factoryt::solvert
• ok_exprs : axiomst
• old_change_impact : change_impactt
• old_dep_graph : change_impactt
• old_err : consolet::redirectt
• old_goto_functions : change_impactt , unified_difft
• old_is_terminal : consolet::redirectt
• old_level1 : framet
• old_map : cpp_saved_template_mapt
• old_out : consolet::redirectt
• old_scope : save_scopet
• old_stack_pointer : interpretert::stack_framet
• old_state : cbmc_invariants_should_throwt
• old_symbol : linkingt::adjust_type_infot
• old_value : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::real_value_comparatort
• on_get_writeable : symbol_table_baset::iteratort
• only_resolve_const_fps : remove_function_pointerst
• op : bv_pointers_widet::postponedt , bv_pointerst::postponedt
• op0 : __CPROVER_cegis_instructiont
• op0_bv : bv_refinementt::approximationt
• op0_value : bv_refinementt::approximationt
• op1 : __CPROVER_cegis_instructiont
• op1_bv : bv_refinementt::approximationt
• op1_value : bv_refinementt::approximationt
• op2 : __CPROVER_cegis_instructiont
• op2_bv : bv_refinementt::approximationt
• op2_value : bv_refinementt::approximationt
• op_id : binary_functional_enumeratort
• op_idx : depth_iterator_expr_statet
• op_name : operator_entryt
• opaque : mz_stream_s
• opcode : __CPROVER_cegis_instructiont , bytecode_infot
• open : json_streamt
• operands : constants_evaluator , cpp_typecheck_fargst , interval_evaluator , printf_formattert , value_set_evaluator
• 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 : api_session_implementationt , c_test_input_generatort , cegis_verifiert , cmdlinet , dfcct , enumerative_loop_contracts_synthesizert , goto_difft , goto_program_dereferencet , goto_symex_fault_localizert , goto_symex_property_decidert , goto_verifiert , incremental_goto_checkert , scratch_programt , solver_factoryt
• optstring : cmdlinet::optiont
• or_bit : statement_list_typecheckt::nesting_stack_entryt , statement_list_typecheckt
• order : is_predecessor_oft
• original_condition : goto_trace_stept
• original_full_lhs : SSA_stept
• original_functions : cegis_verifiert
• original_lhs_skeleton : assignmentt
• original_loop_number_map : cegis_verifiert , code_contractst
• original_scope : cpp_typecheck_resolvet
• original_symbol_table : enumerative_loop_contracts_synthesizert
• os : configt::ansi_ct , smt_command_to_string_convertert , smt_index_output_visitort , smt_logic_to_string_convertert , smt_option_to_string_convertert , smt_sort_output_visitort
• other : ansi_c_convert_typet
• other_m : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::delta_view_itemt
• other_symbols : dfcct
• out : ascii_encoding_targett , dimacs_cnf_dumpt , document_propertiest , graph_nodet< E > , json_streamt , preprocessort , smt2_convt , smt2_encoding_targett , stream_message_handlert , ui_message_handlert
• out_file : goto_harness_parse_optionst::goto_harness_configt
• out_pos : instrumentert::cfg_visitort
• out_stream : smt_incremental_dry_run_solvert , smt_piped_solver_processt
• outcome : inductiveness_resultt
• outer_class : java_bytecode_parse_treet::classt
• outer_loops : dfcc_loop_infot
• outer_symbol_table : goto_symext
• outfile : solver_hardnesst
• output : c_wranglert , interpretert
• output_directory_object : compilet
• output_file_executable : compilet
• output_file_object : compilet
• output_stack : smt_term_to_string_convertert
• output_ui : symex_bmc_incremental_one_loopt
• output_values : interpretert
• output_xml : bv_refinementt::configt
• output_xml_in_refinement : solver_factoryt
• outstanding_assignments : gdb_value_extractort
• 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
• overrun : eval_index_resultt