Here is a list of all class members with links to the classes they belong to:
- o -
- o_symbols
: linkingt::adjust_type_infot
- object()
: address_of_exprt
- OBJECT
: java_bytecode_parse_treet::methodt::verification_type_infot
- object
: jsont
, object_descriptor_exprt
, pointer_logict::pointert
, rw_set_baset::entryt
- object2id()
: custom_bitvector_domaint
- object_bits
: bv_pointerst
- object_descriptor_exprt()
: object_descriptor_exprt
- 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_fit::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
: jsont
, value_set_fit::objectt
, value_set_fivrnst::objectt
, value_set_fivrt::objectt
, value_sett::objectt
- 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
- offset
: boolbv_widtht::membert
, byte_extract_exprt
, byte_update_exprt
, interpretert::memory_cellt
, java_bytecode_parse_treet::methodt::verification_type_infot
, object_descriptor_exprt
, pointer_arithmetict
, pointer_logict::pointert
, value_set_fit::objectt
, value_set_fivrnst::objectt
, value_set_fivrt::objectt
, value_sett::objectt
- offset_arithmetic()
: bv_pointerst
- 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
- offset_is_zero()
: value_set_fit::objectt
, value_set_fivrnst::objectt
, value_set_fivrt::objectt
, value_sett::objectt
- offset_mapt
: boolbvt
- offset_sum()
: dereferencet
, value_set_dereferencet
- ofstream_ptr
: cbmc_solverst::solvert
- 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
- only_resolve_const_fps
: remove_function_pointerst
- op
: bv_pointerst::postponedt
, byte_extract_exprt
, byte_update_exprt
, floatbv_typecast_exprt
, not_exprt
, replication_exprt
, shift_exprt
, typecast_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()
: jar_filet
- open_expression()
: smt2_parsert
, smt2irept
- operands
: cpp_typecheck_fargst
, exprt
, printf_formattert
- operandst
: exprt
- operation
: abstract_eventt
- operationt
: abstract_eventt
- operator &()
: mini_bddt
- operator &&()
: tvt
- operator bool()
: jar_filet
, safe_pointer< T >
- operator!()
: literalt
, mini_bddt
, tvt
- operator!=()
: bv_arithmetict
, c_qualifierst
, c_storage_spect
, dstringt
, fixedbvt
, ieee_float_spect
, ieee_floatt
, irept
, lispsymbolt
, literalt
, loc_reft
, rationalt
, tvt
- operator%=()
: bv_arithmetict
- operator()()
: abstract_eventt
, ai_baset
, assert_criteriont
, bmc_all_propertiest
, bmc_covert
, bmct
, boolbv_widtht
, bv_minimizet
, c_sizeoft
, cfg_baset< T, P, I >
, cfg_dominators_templatet< P, T, post_dom >
, change_impactt
, check_call_sequencet
, check_call_sequencet::state_hash
, class_hierarchyt
, code_contractst
, concurrency_instrumentationt
, const_expr_visitort
, const_target_hash_templatet< codeT, guardT >
, counterexample_beautificationt
, cover_goalst
, decision_proceduret
, dereferencet
, dirtyt
, does_remove_constt
, dstring_hash
, dump_ct
, event_grapht::critical_cyclet
, expr_visitort
, fault_localizationt
, find_index_visitort
, find_qvar_visitort
, float_bvt
, flow_insensitive_analysis_baset
, format_constantt
, full_slicert
, function_modifiest
, goto_difft
, goto_program2codet
, goto_symex_statet::level0t
, goto_symex_statet::level1t
, goto_symex_statet::propagationt
, goto_symext
, goto_unwindt
, graphml_witnesst
, interpretert
, irep_full_eq
, irep_full_hash
, irep_hash
, irep_hash_container_baset::pointer_hasht
, irep_hash_container_baset::vector_hasht
, is_name_equalt
, is_predecessor_oft
, is_threadedt
, is_virtual_name_equalt
, jar_poolt
, java_bytecode_convert_classt
, java_bytecode_convert_methodt
, java_bytecode_vtable_factoryt
, java_class_loadert
, 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 >
, numbering< T >
, parameter_assignmentst
, Parser
, path_searcht
, path_symext
, 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
, remove_asmt
, remove_const_function_pointerst
, remove_exceptionst
, remove_function_pointerst
, remove_returnst
, remove_virtual_functionst
, rename_symbolt
, replace_symbolt
, restrictt
, safety_checkert
, shared_bufferst
, show_goto_functions_jsont
, show_goto_functions_xmlt
, slicing_criteriont
, smt2_convt::let_visitort
, smt2_parsert
, smt2irept
, static_analysis_baset
, static_analyzert
, string_abstractiont
, string_hash
, string_instrumentationt
, string_ptr_hash
, syntactic_difft
, taint_analysist
, temp_dirt
, temporary_filet
, to_be_merged_irep_hash
, unified_difft
, var_mapt
, xml_irep_convertt::irep_content_eq
, xml_irep_convertt::irep_full_hash
, xml_irep_convertt::ul_eq
, xml_irep_convertt::ul_hash
, zero_initializert
- operator*()
: member_offset_iterator
, path_symex_step_reft
, safe_pointer< T >
- operator*=()
: bv_arithmetict
, fixedbvt
, ieee_floatt
, rationalt
- operator+()
: time_periodt
- operator++()
: loc_reft
, member_offset_iterator
- operator+=()
: bv_arithmetict
, c_qualifierst
, fixedbvt
, ieee_floatt
, rationalt
, rw_set_baset
, time_periodt
- operator-()
: absolute_timet
, rationalt
, time_periodt
- operator--()
: loc_reft
, path_symex_step_reft
- operator-=()
: bv_arithmetict
, fixedbvt
, guardt
, ieee_floatt
, rationalt
- operator->()
: member_offset_iterator
, path_symex_step_reft
, safe_pointer< T >
- operator/=()
: bv_arithmetict
, fixedbvt
, ieee_floatt
, rationalt
- operator<()
: abstract_eventt
, bv_arithmetict
, cpp_typecheck_resolvet::matcht
, datat
, dstringt
, event_grapht::critical_cyclet::delayt
, event_grapht::critical_cyclet
, fixedbvt
, ieee_floatt
, irept
, literalt
, loc_reft
, merged_irept
, mini_bdd_mgrt::reverse_keyt
, object_idt
, rationalt
- operator<<()
: bv_arithmetict
, dstringt
, messaget::mstreamt
- operator<=()
: bv_arithmetict
, dstringt
, fixedbvt
, ieee_floatt
, rationalt
- operator=()
: dstringt
, goto_function_templatet< bodyT >
, goto_functions_templatet< bodyT >
, goto_functionst
, goto_modelt
, goto_program_templatet< codeT, guardT >
, goto_programt
, guardt
, irept
, mini_bddt
, optionst
, reference_counting< T >
, sorted_vector< K, bNoDuplicates, Pr, A >
- operator==()
: abstract_eventt
, bv_arithmetict
, bv_spect
, c_qualifierst
, c_storage_spect
, check_call_sequencet::call_stack_entryt
, check_call_sequencet::statet
, datat
, dstringt
, event_grapht::critical_cyclet::delayt
, fixedbvt
, ieee_float_spect
, ieee_floatt
, irept
, lispsymbolt
, literalt
, loc_reft
, merged_irept
, mini_bddt
, patternt
, qdimacs_cnft
, qdimacs_cnft::quantifiert
, rationalt
, string_ptrt
, to_be_merged_irept
, tvt
- operator>()
: bv_arithmetict
, dstringt
, fixedbvt
, ieee_floatt
, rationalt
- operator>=()
: bv_arithmetict
, dstringt
, fixedbvt
, ieee_floatt
, rationalt
- operator[]()
: ait< domainT >
, basic_blockst
, cfg_baset< T, P, I >::entry_mapt
, designatort
, dstringt
, event_grapht
, expanding_vectort< T >
, grapht< N >
, inv_object_storet
, json_objectt
, jsont
, locst
, points_tot
, sharing_mapt< keyT, valueT, hashT, predT >
, sorted_vector< K, bNoDuplicates, Pr, A >
, static_analysist< T >
, string_containert
, string_exprt
, target_to_loc_mapt
, value_set_fivrnst::object_map_dt
, value_set_fivrt::object_map_dt
, var_mapt
- 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_sum
: pbs_dimacs_cnft
- optAlignas()
: Parser
- optAttribute()
: Parser
- optchar
: cmdlinet::optiont
- optCvQualify()
: Parser
- optimize
: pbs_dimacs_cnft
- optIntegralTypeOrClassSpec()
: Parser
- option_map
: optionst
- option_mapt
: optionst
- options
: bmct
, cbmc_solverst
, cmdlinet
, fault_localizationt
, goto_program_dereferencet
, goto_symext
, static_analyzert
, 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, predT >::delta_view_itemt
- out
: cvc_convt
, cvc_propt
, dimacs_cnf_dumpt
, document_propertiest
, dplib_convt
, dplib_propt
, graph_nodet< E >
, grapht< N >
, mm2cppt
, preprocessort
, smt1_convt
, smt1_propt
, smt2_convt
, smt2_propt
, stream_message_handlert
- out_pos
: instrumentert::cfg_visitort
- output()
: ai_baset
, ai_domain_baset
, ansi_c_declarationt
, ansi_c_parse_treet
, automatont
, basic_blockst
, call_grapht
, cfg_dominators_templatet< P, T, post_dom >
, class_hierarchyt
, constant_propagator_domaint
, constant_propagator_domaint::valuest
, 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_functions_templatet< bodyT >
, goto_modelt
, goto_program_templatet< codeT, guardT >
, 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
, locst
, natural_loops_templatet< P, T >
, path_nodet
, path_symex_statet
, path_symex_stept
, 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
, 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_domaint
, value_set_fit
, value_set_fivrnst
, value_set_fivrt
, value_sett
, var_mapt
, var_mapt::var_infot
, xmlt
- output_cache()
: goto_inlinet
- output_change_impact()
: change_impactt
- output_coverage_report()
: symex_bmct
- output_diff()
: unified_difft
- output_dot()
: aigt
, call_grapht
, grapht< N >
- output_dot_edge()
: aigt
- output_dot_node()
: aigt
, grapht< N >
- output_entry()
: value_set_fivrnst
- output_file_executable
: compilet
- output_file_object
: compilet
- output_fmt()
: symex_target_equationt
, symex_targett
- 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_program_templatet< codeT, guardT >
, goto_programt
- output_json()
: ai_baset
, ai_domain_baset
, dep_graph_domaint
- output_latest_time()
: timert
- output_log_json()
: goto_unwindt
, goto_unwindt::unwind_logt
- output_map()
: xml_irep_convertt
- output_rec()
: jsont
- output_report()
: symex_coveraget
- output_total_time()
: timert
- 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()
: filedescriptor_streambuft
- 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
- overloadable()
: cpp_typecheckt
- override_language
: compilet