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

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

- 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_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_id : binary_functional_enumeratort
• op_idx : depth_iterator_expr_statet
• op_name : operator_entryt
• opcode : 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, bv_dimacst, 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