Here is a list of all class members with links to the classes they belong to:
- u -
- UCHAR
: c_typecastt
- ui
: bmct
, bv_refinementt
, cbmc_solverst
, goto_difft
- ui_message_handler
: cbmc_parse_optionst
, clobber_parse_optionst
, goto_analyzer_parse_optionst
, goto_diff_parse_optionst
, goto_fence_inserter_parse_optionst
, goto_instrument_parse_optionst
, language_uit
, symex_parse_optionst
- ui_message_handlert()
: ui_message_handlert
- ui_msg()
: ui_message_handlert
- UINT
: c_typecastt
- uit
: language_uit
, ui_message_handlert
- ULONG
: c_typecastt
- ULONGLONG
: c_typecastt
- unary_exprt()
: unary_exprt
- unary_minus_exprt()
: unary_minus_exprt
- unary_predicate_exprt()
: unary_predicate_exprt
- unbounded_array
: boolbvt
- unbounded_arrayt
: boolbvt
- undefined_shift_check()
: goto_checkt
- undefines
: configt::ansi_ct
- under_assumptions
: bv_refinementt::approximationt
- under_state
: bv_refinementt::approximationt
- underflow()
: filedescriptor_streambuft
- undo_function_calls()
: remove_returnst
- unescape()
: xmlt
- unflatten()
: smt2_convt
- unflatten_array()
: smt2_convt
- unified_diff
: change_impactt
, unified_difft
- unified_difft()
: unified_difft
- UNINITIALIZED
: java_bytecode_parse_treet::methodt::verification_type_infot
- uninitialized
: uninitialized_domaint
- uninitialized_analysis
: uninitializedt
- uninitialized_domaint()
: uninitialized_domaint
- UNINITIALIZED_THIS
: java_bytecode_parse_treet::methodt::verification_type_infot
- uninitializedt
: uninitialized_domaint
, uninitializedt
- union_exprt()
: union_exprt
- union_tag_typet()
: union_tag_typet
- union_typet()
: union_typet
- union_with()
: jsil_union_typet
- uniq
: shared_bufferst
- unique
: fence_insertert
, mip_vart
, shared_bufferst
- Unique_()
: sorted_vector< K, bNoDuplicates, Pr, A >
- unique_id
: instrumentert
- univ_lower_bound()
: string_not_contains_constraintt
- univ_upper_bound()
: string_not_contains_constraintt
- univ_var()
: string_constraintt
- univ_within_bounds()
: string_constraintt
- universal_axioms
: string_refinementt
- UNKNOWN
: bmc_all_propertiest::goalt
, ieee_floatt
- unknown()
: tvt
- unknown_object
: local_may_aliast
- unknown_read_nodes
: instrumentert::cfg_visitort
- unknown_write_nodes
: instrumentert::cfg_visitort
- unmarked_dstates
: trace_automatont
- unpack()
: bv_arithmetict
, float_bvt
, float_utilst
, ieee_floatt
- unpacked_floatt()
: float_bvt::unpacked_floatt
, float_utilst::unpacked_floatt
- unsafe_pair()
: abstract_eventt
- unsafe_pair_asm()
: abstract_eventt
- unsafe_pair_lwfence()
: abstract_eventt
- unsafe_pair_lwfence_param()
: abstract_eventt
- unsafe_pairs
: event_grapht::critical_cyclet
- UNSAT
: satcheck_zchaff_baset
- unsigned_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- unsigned_divider()
: bv_utilst
- unsigned_less_than()
: bv_utilst
- unsigned_multiplier()
: bv_utilst
- unsigned_multiplier_no_overflow()
: bv_utilst
- unsignedbv_typet()
: unsignedbv_typet
- unused_var_no()
: literalt
- unwind()
: goto_unwindt
- unwind_destructor_stack()
: goto_convertt
- unwind_enum_static()
: remove_static_init_loopst
- unwind_limit
: path_searcht
- unwind_log
: goto_unwindt
- unwind_strategyt
: goto_unwindt
- unwinding_map
: path_symex_statet
- unwinding_mapt
: path_symex_statet
- update()
: flow_insensitive_analysis_baset
, goto_functions_templatet< bodyT >
, goto_program_templatet< codeT, guardT >
, static_analysis_baset
- update_expr_type()
: jsil_typecheckt
- update_exprt()
: update_exprt
- update_identifier()
: ssa_exprt
- update_index_map()
: arrayst
- update_index_set()
: string_refinementt
- update_indices
: arrayst
- update_scores()
: fault_localizationt
- update_type()
: ssa_exprt
- updated
: instrumentert::cfg_visitort
- upper()
: extractbits_exprt
, interval_templatet< T >
- upper_bound()
: sorted_vector< K, bNoDuplicates, Pr, A >
, string_constraintt
- upper_set
: interval_templatet< T >
- usage_count()
: aig_prop_solvert
- usage_error()
: goto_cc_modet
, parse_options_baset
- use_all_headers
: dump_ct
- use_array_of_bool
: smt2_convt
- use_array_theory()
: smt2_convt
- use_cache
: prop_conv_solvert
- use_counter_example
: string_refinementt
- use_datatypes
: smt2_convt
- use_fixed_for_float
: configt::ansi_ct
- use_FPA_theory
: smt2_convt
- use_z3
: acceleratet
- used_byt
: linkingt
- used_local_names
: java_bytecode_convert_methodt
- user_defined_conversion_sequence()
: cpp_typecheckt
- USHORT
: c_typecastt
- using_scopes
: cpp_idt
- utils
: acceleratet
, disjunctive_polynomial_accelerationt
, polynomial_acceleratort
, sat_path_enumeratort
- uuf
: union_find< T >