- o -
- object()
: address_of_exprt
, object_descriptor_exprt
- object2id()
: custom_bitvector_domaint
- object_bits_info()
: configt
- object_descriptor_exprt()
: object_descriptor_exprt
- object_factory_parameterst()
: object_factory_parameterst
- object_idt()
: object_idt
- object_map_dt()
: value_set_fivrnst::object_map_dt
, value_set_fivrt::object_map_dt
, value_sett::object_map_dt
- objective()
: prop_minimizet
- objectivet()
: prop_minimizet::objectivet
- objects_equal()
: simplify_exprt
- objects_equal_address_of()
: simplify_exprt
- of_expr()
: interval_sparse_arrayt
- offset()
: byte_extract_exprt
, byte_update_exprt
, object_descriptor_exprt
- offset_arithmetic()
: bv_pointerst
- offset_is_zero()
: value_set_fit
, value_set_fivrnst
, value_set_fivrt
, value_sett
- old()
: update_exprt
, with_exprt
- on_insert()
: journalling_symbol_tablet
- on_remove()
: journalling_symbol_tablet
- on_update()
: journalling_symbol_tablet
- op()
: byte_extract_exprt
, byte_update_exprt
, floatbv_typecast_exprt
, replication_exprt
, shift_exprt
, unary_exprt
- op0()
: exprt
, nullary_exprt
- op1()
: exprt
, nullary_exprt
, unary_exprt
- op2()
: binary_exprt
, exprt
, nullary_exprt
, unary_exprt
- op3()
: binary_exprt
, exprt
, nullary_exprt
, ternary_exprt
, unary_exprt
- operands()
: exprt
, nullary_exprt
, smt2_parsert
- operator &()
: mini_bddt
- operator &&()
: tvt
- operator *()
: concat_iteratort< first_iteratort, second_iteratort >
, depth_iterator_baset< depth_iterator_t >
, filter_iteratort< iteratort >
, map_iteratort< iteratort, outputt >
, 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 bool()
: small_shared_ptrt< T >
, small_shared_two_way_ptrt< U, V >
- operator const symbol_tablet &()
: symbol_table_baset
- operator!()
: literalt
, mini_bddt
, tvt
- operator!=()
: bv_arithmetict
, c_storage_spect
, concat_iteratort< first_iteratort, second_iteratort >
, copy_on_writet< T >
, depth_iterator_baset< depth_iterator_t >
, dstringt
, filter_iteratort< iteratort >
, fixedbvt
, ieee_float_spect
, ieee_floatt
, irept
, lispsymbolt
, literalt
, map_iteratort< iteratort, outputt >
, 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
, call_checkt< Base, T >
, call_validate_fullt< Base, T >
, call_validatet< Base, T >
, 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_unwindt
, graphml_witnesst
, in_function_criteriont
, 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_constantt
, is_predecessor_oft
, is_threadedt
, jar_poolt
, java_bytecode_convert_classt
, java_bytecode_convert_methodt
, java_bytecode_instrumentt
, java_class_loadert
, java_syntactic_difft
, jsil_convertt
, local_may_alias_factoryt
, local_safe_pointerst::base_type_comparet
, local_safe_pointerst
, 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
, 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, java_bytecode_convert_methodt::method_offsett >
, prop_convt
, prop_minimizet
, properties_criteriont
, property_checkert
, reachability_slicert
, rebuild_goto_start_function_baset< maybe_lazy_goto_modelt >
, remove_asmt
, remove_calls_no_bodyt
, remove_const_function_pointerst
, remove_exceptionst
, remove_function_pointerst
, remove_returnst
, remove_virtual_functionst
, rename_symbolt
, replace_callst
, 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 >
, std::hash< string_not_contains_constraintt >
, string_abstractiont
, string_dependenciest::node_hash
, string_hash
, string_instrumentationt
, string_ptr_hash
, symbol_generatort
, symex_level0t
, symex_level1t
, symex_nondet_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++()
: concat_iteratort< first_iteratort, second_iteratort >
, depth_iterator_baset< depth_iterator_t >
, filter_iteratort< iteratort >
, map_iteratort< iteratort, outputt >
, 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
, ieee_floatt
, rationalt
- operator->()
: concat_iteratort< first_iteratort, second_iteratort >
, depth_iterator_baset< depth_iterator_t >
, filter_iteratort< iteratort >
, map_iteratort< iteratort, outputt >
, 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
- operator<=()
: bv_arithmetict
, copy_on_writet< T >
, dstringt
, fixedbvt
, ieee_floatt
, rationalt
- operator=()
: c_qualifierst
, class_hierarchyt
, 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
, local_safe_pointerst::base_type_comparet
, 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_table_buildert
, symbol_tablet
- operator==()
: abstract_eventt
, bv_arithmetict
, bv_spect
, c_qualifierst
, c_storage_spect
, check_call_sequencet::call_stack_entryt
, check_call_sequencet::statet
, concat_iteratort< first_iteratort, second_iteratort >
, copy_on_writet< T >
, datat
, depth_iterator_baset< depth_iterator_t >
, dstringt
, event_grapht::critical_cyclet::delayt
, filter_iteratort< iteratort >
, fixedbvt
, ieee_float_spect
, ieee_floatt
, irept
, java_qualifierst
, lispsymbolt
, literalt
, map_iteratort< iteratort, outputt >
, 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 >
, array_string_exprt
, 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
, 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
- operator||()
: tvt
- optAlignas()
: Parser
- optAttribute()
: Parser
- optCvQualify()
: Parser
- optimize_guarded_gotos()
: goto_convertt
- optIntegralTypeOrClassSpec()
: Parser
- optionst()
: optionst
- optiont()
: cmdlinet::optiont
- optMemberSpec()
: Parser
- optPtrOperator()
: Parser
- optStorageSpec()
: Parser
- optThrowDecl()
: Parser
- or_exprt()
: or_exprt
- order_filtering()
: event_grapht::graph_explorert
- ordering()
: irept
- os_to_string()
: configt::ansi_ct
- osx_fat_readert()
: osx_fat_readert
- out()
: grapht< N >
- 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_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::methodt
, java_bytecode_parse_treet
, jsil_declarationt
, jsil_parse_treet
, jsont
, local_bitvector_analysist
, local_may_aliast
, local_safe_pointerst
, localst
, natural_loops_templatet< P, T >
, optionst
, 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()
: call_grapht
, class_hierarchyt
, grapht< N >
, string_dependenciest
- output_entry()
: value_set_fivrnst
- 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_propagation_map()
: goto_symex_statet
- output_rec()
: jsont
- output_report()
: symex_coveraget
- output_safe_dereferences()
: local_safe_pointerst
- output_xml()
: ai_baset
, ai_domain_baset
, call_grapht
- overapproximating_left_shift()
: float_approximationt
- overflow_add()
: bv_utilst
- overflow_expr()
: overflow_instrumentert
- overflow_instrumentert()
: overflow_instrumentert
- overflow_negate()
: bv_utilst
- overflow_sub()
: bv_utilst
- overloadable()
: cpp_typecheckt