- 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_floatt
• 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