Here is a list of all class members with links to the classes they belong to:
- o -
- o
: format_containert< T >
- o_symbols
: linkingt::adjust_type_infot
- object()
: address_of_exprt
- OBJECT
: java_bytecode_parse_treet::methodt::verification_type_infot
- object
: json_streamt
, jsont
, object_descriptor_exprt
, pointer_logict::pointert
, rw_set_baset::entryt
- object2id()
: custom_bitvector_domaint
- object_bits
: bv_pointerst
, configt::bv_encodingt
- object_bits_info()
: configt
- object_descriptor_exprt()
: object_descriptor_exprt
- object_factory_parameters
: java_bytecode_languaget
, java_object_factoryt
, java_simple_method_stubst
- object_factory_params
: jbmc_parse_optionst
- object_file_extension
: compilet
- object_files
: compilet
- object_idt()
: object_idt
- object_listt
: invariant_propagationt
- object_map
: value_set_fit::entryt
, value_set_fivrnst::entryt
, value_set_fivrt::entryt
, value_sett::entryt
- object_map_dt()
: value_set_fivrnst::object_map_dt
, value_set_fivrt::object_map_dt
, value_sett::object_map_dt
- object_mapt
: value_set_fit
, value_set_fivrnst
, value_set_fivrt
, value_sett
- object_numbering
: value_set_fit
, value_set_fivrnst
, value_set_fivrt
, value_sett
- object_rec()
: pointer_logict
- object_sett
: local_may_aliast
- object_sizes
: smt2_convt
- object_store
: invariant_propagationt
, invariant_sett
- object_type_updates
: linkingt
- objective()
: prop_minimizet
- objectives
: prop_minimizet
- objectivest
: prop_minimizet
- objectivet()
: prop_minimizet::objectivet
- objects
: local_may_aliast
, pointer_logict
- objects_equal()
: simplify_exprt
- objects_equal_address_of()
: simplify_exprt
- objectst
: pointer_logict
, rw_range_sett
- objectt
: json_streamt
, jsont
- objmap
: value_set_fivrnst::object_map_dt
, value_set_fivrt::object_map_dt
- objmapt
: value_set_fivrnst::object_map_dt
, value_set_fivrt::object_map_dt
- observers
: cover_goalst
- observerst
: cover_goalst
- OCTAL_INTEGER
: string_constraint_generatort::format_specifiert
- of_argument()
: array_poolt
- of_expr()
: interval_sparse_arrayt
- offset
: boolbv_widtht::membert
, byte_extract_exprt
, byte_update_exprt
, java_bytecode_parse_treet::methodt::verification_type_infot
, object_descriptor_exprt
, pointer_arithmetict
, pointer_logict::pointert
- offset_arithmetic()
: bv_pointerst
- offset_bits
: bv_pointerst
- offset_delta
: java_bytecode_parse_treet::methodt::stack_map_table_entryt
- offset_is_zero()
: value_set_fit
, value_set_fivrnst
, value_set_fivrt
, value_sett
- offset_mapt
: boolbvt
- offset_sum()
: dereferencet
, value_set_dereferencet
- offsett
: value_set_fit
, value_set_fivrnst
, value_set_fivrt
, value_sett
- ofstream_ptr
: cbmc_solverst::solvert
- ok
: smt2_tokenizert
- old()
: update_exprt
, with_exprt
- 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
- on_get_writeable
: symbol_table_baset::iteratort
- only_resolve_const_fps
: remove_function_pointerst
- op
: bv_pointerst::postponedt
, byte_extract_exprt
, byte_update_exprt
, floatbv_typecast_exprt
, replication_exprt
, shift_exprt
, unary_exprt
- op0()
: exprt
- op0_bv
: bv_refinementt::approximationt
- op0_value
: bv_refinementt::approximationt
- op1()
: exprt
- op1_bv
: bv_refinementt::approximationt
- op1_value
: bv_refinementt::approximationt
- op2()
: exprt
- op2_bv
: bv_refinementt::approximationt
- op2_value
: bv_refinementt::approximationt
- op3()
: exprt
- op_name
: operator_entryt
- opaque
: mz_stream_s
- opcode
: bytecode_infot
- open
: json_streamt
- operands
: cpp_typecheck_fargst
, exprt
, printf_formattert
, smt2_parsert
- operands_iteratort
: depth_iterator_expr_statet
- operandst
: exprt
- operation
: abstract_eventt
- operationt
: abstract_eventt
- operator &()
: mini_bddt
- operator &&()
: tvt
- operator bool()
: small_shared_ptrt< T >
, small_shared_two_way_ptrt< U, V >
, smt2_tokenizert
- operator const symbol_tablet &()
: symbol_table_baset
- operator!()
: literalt
, mini_bddt
, tvt
- operator!=()
: bv_arithmetict
, c_storage_spect
, copy_on_writet< T >
, depth_iterator_baset< depth_iterator_t >
, dstringt
, fixedbvt
, ieee_float_spect
, ieee_floatt
, irept
, lispsymbolt
, literalt
, qualifierst
, rationalt
, small_mapt< T, Ind, Num >::const_iterator
, small_mapt< T, Ind, Num >::const_value_iterator
, symbol_table_baset::iteratort
, tvt
, value_sett::entryt
, value_sett::object_map_dt
- operator%=()
: bv_arithmetict
- operator()()
: abstract_eventt
, ai_baset
, assert_criteriont
, bmc_all_propertiest
, bmc_covert
, bmct
, boolbv_widtht
, bv_minimizet
, cfg_baset< T, P, I >
, cfg_dominators_templatet< P, T, post_dom >
, change_impactt
, check_call_sequencet
, check_call_sequencet::state_hash
, ci_lazy_methodst
, class_hierarchyt
, code_contractst
, concurrency_instrumentationt
, const_expr_visitort
, const_target_hash
, counterexample_beautificationt
, cover_goalst
, cover_instrumenter_baset
, cover_instrumenterst
, decision_proceduret
, dereferencet
, dirtyt
, does_remove_constt
, dstring_hash
, dump_ct
, event_grapht::critical_cyclet
, expr_initializert< nondet >
, expr_visitort
, fault_localizationt
, find_qvar_visitort
, float_bvt
, flow_insensitive_analysis_baset
, format_constantt
, freert
, full_slicert
, function_filter_baset
, function_filterst
, function_modifiest
, goal_filter_baset
, goal_filterst
, goto_difft
, goto_program2codet
, goto_symex_statet::level0t
, goto_symex_statet::level1t
, goto_symex_statet::propagationt
, goto_unwindt
, graphml_witnesst
, include_pattern_filtert
, incremental_dirtyt
, internal_functions_filtert
, internal_goals_filtert
, interpretert
, irep_full_eq
, irep_full_hash
, irep_hash
, irep_hash_container_baset::pointer_hasht
, irep_hash_container_baset::vector_hasht
, is_predecessor_oft
, is_threadedt
, java_bytecode_convert_classt
, java_bytecode_convert_methodt
, java_bytecode_instrumentt
, java_class_loadert
, java_syntactic_difft
, jsil_convertt
, local_may_alias_factoryt
, memory_model_baset
, memory_model_psot
, memory_model_sct
, memory_model_tsot
, merge_full_irept
, merge_irept
, merged_irep_hash
, merged_irepst
, mini_bdd_applyt
, mm2cppt
, natural_loops_templatet< P, T >
, numeric_castt< mp_integer >
, numeric_castt< T, typename std::enable_if< std::is_integral< T >::value >::type >
, parameter_assignmentst
, Parser
, pointee_address_equalt
, points_tot
, printf_formattert
, procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, unsigned >
, prop_convt
, prop_minimizet
, properties_criteriont
, property_checkert
, reachability_slicert
, rebuild_goto_start_function_baset< maybe_lazy_goto_modelt >
, remove_calls_no_bodyt
, remove_const_function_pointerst
, remove_exceptionst
, remove_function_pointerst
, remove_returnst
, remove_virtual_functionst
, rename_symbolt
, replace_symbolt
, resolve_inherited_componentt
, restrictt
, safety_checkert
, shared_bufferst
, show_goto_functions_jsont
, show_goto_functions_xmlt
, slicing_criteriont
, smt2_convt::let_visitort
, smt2irept
, static_analysis_baset
, std::hash< dstringt >
, string_abstractiont
, string_dependenciest::node_hash
, string_hash
, string_instrumentationt
, string_ptr_hash
, symbol_generatort
, syntactic_difft
, taint_analysist
, temp_dirt
, temporary_filet
, to_be_merged_irep_hash
, trivial_functions_filtert
, uncaught_exceptions_analysist
, uncaught_exceptions_domaint
, unified_difft
- operator*()
: depth_iterator_baset< depth_iterator_t >
, member_offset_iterator
, small_mapt< T, Ind, Num >::const_iterator
, small_mapt< T, Ind, Num >::const_value_iterator
, small_shared_ptrt< T >
, symbol_table_baset::iteratort
- operator*=()
: bv_arithmetict
, fixedbvt
, ieee_floatt
, rationalt
- operator++()
: depth_iterator_baset< depth_iterator_t >
, member_offset_iterator
, small_mapt< T, Ind, Num >::const_iterator
, small_mapt< T, Ind, Num >::const_value_iterator
, symbol_table_baset::iteratort
- operator+=()
: bv_arithmetict
, c_qualifierst
, fixedbvt
, ieee_floatt
, java_qualifierst
, qualifierst
, rationalt
, rw_set_baset
- operator-()
: rationalt
- operator-=()
: bv_arithmetict
, fixedbvt
, guardt
, ieee_floatt
, rationalt
- operator->()
: depth_iterator_baset< depth_iterator_t >
, member_offset_iterator
, small_mapt< T, Ind, Num >::const_iterator
, small_mapt< T, Ind, Num >::const_value_iterator
, small_shared_ptrt< T >
, symbol_table_baset::iteratort
- operator/=()
: bv_arithmetict
, fixedbvt
, ieee_floatt
, rationalt
- operator<()
: abstract_eventt
, bv_arithmetict
, copy_on_writet< T >
, cpp_typecheck_resolvet::matcht
, datat
, dstringt
, event_grapht::critical_cyclet::delayt
, event_grapht::critical_cyclet
, fixedbvt
, ieee_floatt
, irept
, literalt
, merged_irept
, mini_bdd_mgrt::reverse_keyt
, object_idt
, rationalt
- operator<<()
: bv_arithmetict
, dstringt
, messaget::mstreamt
, qualifierst
- operator<=()
: bv_arithmetict
, copy_on_writet< T >
, dstringt
, fixedbvt
, ieee_floatt
, rationalt
- operator=()
: c_qualifierst
, copy_on_write_pointeet< Num >
, copy_on_writet< T >
, depth_iterator_baset< depth_iterator_t >
, dstringt
, generic_parameter_specialization_map_keyst
, goto_functionst
, goto_functiont
, goto_modelt
, goto_programt
, guardt
, irept
, jar_filet
, java_bytecode_parse_treet::classt
, java_bytecode_parse_treet
, java_qualifierst
, lazy_goto_modelt
, messaget::mstreamt
, messaget
, mini_bddt
, mz_zip_archive_statet
, mz_zip_archivet
, optionst
, qualifierst
, range_domain_baset
, recursion_set_entryt
, reference_counting< T >
, small_shared_pointeet< Num >
, small_shared_ptrt< T >
, small_shared_two_way_pointeet< Num >
, small_shared_two_way_ptrt< U, V >
, string_dependenciest::builtin_function_nodet
, symbol_table_baset
, symbol_tablet
- operator==()
: abstract_eventt
, bv_arithmetict
, bv_spect
, c_qualifierst
, c_storage_spect
, check_call_sequencet::call_stack_entryt
, check_call_sequencet::statet
, copy_on_writet< T >
, datat
, depth_iterator_baset< depth_iterator_t >
, dstringt
, event_grapht::critical_cyclet::delayt
, fixedbvt
, ieee_float_spect
, ieee_floatt
, irept
, java_qualifierst
, lispsymbolt
, literalt
, merged_irept
, mini_bddt
, patternt
, qdimacs_cnft
, qdimacs_cnft::quantifiert
, qualifierst
, rationalt
, small_mapt< T, Ind, Num >::const_iterator
, small_mapt< T, Ind, Num >::const_value_iterator
, string_dependenciest::nodet
, string_ptrt
, symbol_table_baset::iteratort
, to_be_merged_irept
, tvt
, value_sett::entryt
, value_sett::object_map_dt
- operator>()
: bv_arithmetict
, copy_on_writet< T >
, dstringt
, fixedbvt
, ieee_floatt
, rationalt
- operator>=()
: bv_arithmetict
, copy_on_writet< T >
, dstringt
, fixedbvt
, ieee_floatt
, rationalt
- operator[]()
: ait< domainT >
, cfg_baset< T, P, I >::entry_mapt
, designatort
, dstringt
, event_grapht
, expanding_vectort< T >
, function_indicest
, grapht< N >
, inv_object_storet
, irep_hash_mapt< Key, T >
, json_objectt
, json_stream_objectt
, jsont
, points_tot
, sharing_mapt< keyT, valueT, hashT, equalT >
, small_mapt< T, Ind, Num >
, sparse_vectort< T >
, static_analysist< T >
, string_containert
, string_exprt< child_t >
, template_numberingt< Map >
, union_find< T >
, value_set_fit::object_map_dt
, value_set_fivrnst::object_map_dt
, value_set_fivrt::object_map_dt
, value_sett::object_map_dt
- operator^()
: literalt
, mini_bddt
- operator^=()
: literalt
- operator_is_overloaded()
: cpp_typecheckt
- operator_overloading_rules()
: cpp_declarator_convertert
- operator|()
: local_bitvector_analysist::flagst
, mini_bddt
- operator|=()
: c_storage_spect
, guardt
- operator||()
: tvt
- opt_reft
: method_bytecodet
- opt_sum
: pbs_dimacs_cnft
- optAlignas()
: Parser
- optAttribute()
: Parser
- optchar
: cmdlinet::optiont
- optCvQualify()
: Parser
- optimize
: pbs_dimacs_cnft
- optimize_guarded_gotos()
: goto_convertt
- optIntegralTypeOrClassSpec()
: Parser
- option_map
: optionst
- option_mapt
: optionst
- options
: bmct
, cbmc_solverst
, cmdlinet
, fault_localizationt
, goto_difft
, goto_program_dereferencet
, goto_symext
, scratch_programt
, value_set_dereferencet
- optionst()
: optionst
- optiont()
: cmdlinet::optiont
- optMemberSpec()
: Parser
- optPtrOperator()
: Parser
- optStorageSpec()
: Parser
- optstring
: cmdlinet::optiont
- optThrowDecl()
: Parser
- or_exprt()
: or_exprt
- order
: is_predecessor_oft
- order_filtering()
: event_grapht::graph_explorert
- ordering()
: irept
- original_full_lhs
: symex_target_equationt::SSA_stept
- original_identifierst
: goto_symex_statet
- original_scope
: cpp_typecheck_resolvet
- os
: configt::ansi_ct
- os_to_string()
: configt::ansi_ct
- ost
: configt::ansi_ct
- osx_fat_readert()
: osx_fat_readert
- other
: ansi_c_convert_typet
- OTHER
: c_typecastt
- other
: cpp_convert_typet
- other_m
: sharing_mapt< keyT, valueT, hashT, equalT >::delta_view_itemt
- out
: dimacs_cnf_dumpt
, document_propertiest
, graph_nodet< E >
, grapht< N >
, json_streamt
, mm2cppt
, preprocessort
, smt2_convt
, stream_message_handlert
, ui_message_handlert
- out_pos
: instrumentert::cfg_visitort
- outer_symbol_table
: bmct
, goto_symext
- output()
: ai_baset
, ai_domain_baset
, ansi_c_declarationt
, ansi_c_parse_treet
, automatont
, call_grapht
, cfg_dominators_templatet< P, T, post_dom >
, class_hierarchyt
, constant_propagator_domaint
, constant_propagator_domaint::valuest
, cover_basic_blocks_javat
, cover_basic_blockst
, cover_blocks_baset
, cpp_declarationt
, cpp_declaratort
, cpp_namespace_spect
, custom_bitvector_domaint
, dep_graph_domaint
, dirtyt
, domain_baset
, dott
, endianness_mapt
, escape_domaint
, flow_insensitive_abstract_domain_baset
, flow_insensitive_analysis_baset
, global_may_alias_domaint
, goto_functionst
, goto_modelt
, goto_programt
, goto_trace_stept
, goto_tracet
, guarded_range_domaint
, interval_domaint
, inv_object_storet
, invariant_set_domaint
, invariant_sett
, java_bytecode_parse_treet::annotationt::element_value_pairt
, java_bytecode_parse_treet::annotationt
, java_bytecode_parse_treet::classt
, java_bytecode_parse_treet::fieldt
, java_bytecode_parse_treet::membert
, java_bytecode_parse_treet::methodt
, java_bytecode_parse_treet
, jsil_declarationt
, jsil_parse_treet
, jsont
, local_bitvector_analysist
, local_may_aliast
, localst
, natural_loops_templatet< P, T >
, path_nodet
, points_tot
, range_domain_baset
, range_domaint
, rd_range_domaint
, rw_range_sett
, rw_set_baset
, static_analysis_baset
, symex_target_equationt
, symex_target_equationt::SSA_stept
, symex_targett
, taint_parse_treet
, taint_parse_treet::rulet
, uncaught_exceptions_analysist
, unified_difft
, uninitialized_domaint
, value_set_analysis_fivrnst
, value_set_analysis_fivrt
, value_set_domain_fit
, value_set_domain_fivrnst
, value_set_domain_fivrt
, value_set_domain_templatet< VST >
, value_set_fit
, value_set_fivrnst
, value_set_fivrt
, value_sett
, xmlt
- output_cache()
: goto_inlinet
- output_change_impact()
: change_impactt
- output_child_stream()
: json_stream_arrayt
, json_stream_objectt
, json_streamt
- output_coverage_report()
: symex_bmct
- output_delimiter()
: json_streamt
- output_diff()
: unified_difft
- output_dot()
: aigt
, call_grapht
, class_hierarchyt
, grapht< N >
, string_dependenciest
- output_dot_edge()
: aigt
- output_dot_node()
: aigt
- output_entry()
: value_set_fivrnst
- output_file_executable
: compilet
- output_file_object
: compilet
- output_finalizer()
: json_stream_arrayt
, json_stream_objectt
, json_streamt
- output_fmt()
: symex_target_equationt
, symex_targett
- output_function()
: goto_difft
- output_function_group()
: goto_difft
- output_functions()
: goto_difft
- output_graphml()
: bmct
- output_inline_log_json()
: goto_inlinet::goto_inline_logt
, goto_inlinet
- output_inline_map()
: goto_inlinet
- output_instruction()
: change_impactt
, goto_programt
- output_json()
: ai_baset
, ai_domain_baset
, dep_graph_domaint
- output_key()
: jsont
- output_log_json()
: goto_unwindt
, goto_unwindt::unwind_logt
- output_object()
: jsont
- output_rec()
: jsont
- output_report()
: symex_coveraget
- output_values
: interpretert
- output_valuest
: interpretert
- output_xml()
: ai_baset
, ai_domain_baset
, call_grapht
- over_approximate
: float_approximationt
- over_assumptions
: bv_refinementt::approximationt
- over_state
: bv_refinementt::approximationt
- overapproximating_left_shift()
: float_approximationt
- overflow_add()
: bv_utilst
- overflow_expr()
: overflow_instrumentert
- overflow_instrumentert()
: overflow_instrumentert
- overflow_locs
: acceleratet
- overflow_mapt
: acceleratet
- overflow_negate()
: bv_utilst
- overflow_path
: path_acceleratort
- overflow_sub()
: bv_utilst
- overflow_var
: overflow_instrumentert
- overlay_classest
: java_bytecode_convert_classt
- overloadable()
: cpp_typecheckt
- override_language
: compilet