Here is a list of all variables with links to the classes they belong to:
- 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
- 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_blk_remain : mz_zip_reader_extract_iter_state
- out_buf_ofs : mz_zip_reader_extract_iter_state
- 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
1.9.8 
