Here is a list of all functions with links to the classes they belong to:

- u -

• uc() : abstract_eventt
• ui_message_handlert() : ui_message_handlert
• ui_msg() : ui_message_handlert
• unary() : smt2_parsert
• unary_exprt() : unary_exprt
• unary_minus() : constant_interval_exprt
• unary_minus_exprt() : unary_minus_exprt
• unary_minus_overflow_exprt() : unary_minus_overflow_exprt
• unary_overflow_exprt() : unary_overflow_exprt
• unary_plus() : constant_interval_exprt
• unary_plus_exprt() : unary_plus_exprt
• unary_predicate_exprt() : unary_predicate_exprt
• unbounded_size() : interpretert
• unchanged() : simplify_exprt
• unchecked_replace_symbolt() : unchecked_replace_symbolt
• undefined_shift_check() : goto_check_ct
• underline() : consolet
• underlying_type() : c_bit_field_typet, c_enum_typet
• undo_function_calls() : remove_returnst
• unescape() : xmlt
• unflatten() : smt2_convt
• unified_diff() : unified_difft
• unified_difft() : unified_difft
• uninitialized_domaint() : uninitialized_domaint
• uninitialized_typet() : uninitialized_typet
• uninitializedt() : uninitializedt
• union_exprt() : union_exprt
• union_tag_typet() : union_tag_typet
• union_typet() : union_typet
• unique() : shared_bufferst
• unique_depth_begin() : exprt
• unique_depth_cbegin() : exprt
• unique_depth_cend() : exprt
• unique_depth_end() : exprt
• univ_within_bounds() : string_constraintt
• universal_only_in_index() : string_constraintt
• unknown() : range_spect, tvt
• unknown_option_msg() : parse_options_baset
• unload() : goto_functionst, goto_modelt, lazy_goto_functions_mapt
• unpack() : bv_arithmetict, float_bvt, float_utilst, ieee_float_valuet
• unpack_parseint_arguments() : string_constraint_generatort
• 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
• unsigned_divider() : bv_utilst
• unsigned_less_than() : bv_utilst
• unsigned_multiplier() : bv_utilst
• unsigned_multiplier_no_overflow() : bv_utilst
• unsignedbv_typet() : unsignedbv_typet
• unsupported_java_class_signature_exceptiont() : unsupported_java_class_signature_exceptiont
• unsupported_operation_exceptiont() : unsupported_operation_exceptiont
• unused_var_no() : literalt
• unwind() : goto_unwindt
• unwind_destructor_stack() : goto_convertt
• unwindsett() : unwindsett
• unwrap_context() : abstract_objectt, context_abstract_objectt
• upcast() : smt_check_sat_response_kindt::storert< derivedt >, smt_indext::storert< derivedt >, smt_logict::storert< derivedt >, smt_optiont::storert< derivedt >, smt_sortt::storert< derivedt >, smt_termt::storert< derivedt >
• update() : flow_insensitive_analysis_baset, goto_functionst, goto_programt, instrument_spec_assignst::location_intervalt, sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• update_bit_exprt() : update_bit_exprt
• update_bits_exprt() : update_bits_exprt
• update_ensures() : is_fresh_baset
• update_entry() : value_sett
• update_exprt() : update_exprt
• update_fn_call() : is_fresh_baset
• update_index_map() : arrayst
• update_location_context_internal() : context_abstract_objectt, data_dependency_contextt, liveness_contextt, write_location_contextt
• update_max() : instrument_spec_assignst::location_intervalt
• update_min() : instrument_spec_assignst::location_intervalt
• update_properties() : multi_path_symex_only_checkert, single_path_symex_only_checkert
• update_properties_goals_from_symex_target_equation() : goto_symex_property_decidert
• update_properties_status_from_goals() : goto_symex_property_decidert
• update_requires() : is_fresh_baset
• update_scores() : goto_symex_fault_localizert
• update_state_exprt() : update_state_exprt
• update_type() : ssa_exprt
• upper() : code_gcc_switch_case_ranget
• upper_bound() : pointer_in_range_exprt, prophecy_pointer_in_range_exprt
• upper_bound_var() : car_exprt
• usage_error() : goto_cc_modet, parse_options_baset
• use_array_theory() : smt2_convt
• use_count() : copy_on_write_pointeet< Num >, sharing_nodet< keyT, valueT, equalT >, small_shared_n_way_ptrt< Ts >, small_shared_pointeet< Num >, small_shared_ptrt< T >
• use_SGR() : consolet
• user_defined_conversion_sequence() : cpp_typecheckt
• user_input_error_exceptiont() : user_input_error_exceptiont